Static analyzers for higher-order languages
A library of monadic combinators for decoding S-expressions (as defined in the Csexp library) into structured data.
A library that implements dependent (heterogeneous) immutable maps
