wren romano

unification-fd. Generic functions for single-sorted first-order structural unification

bytestring-trie. An efficient finite map from (byte)strings to values.

exact-combinatorics. Efficient exact computation of combinatoric functions.

stm-chans. Additional types of channels for STM.

logfloat. Log-domain floating point numbers

bytestring-lexing. Efficiently parse and produce common lexemes: namely integral and fractional numbers.

coq-wrengr-util. Tactics, utility lemmas, and relation combinators for Coq

coq-tutorial. Coq

dotfiles. 🏡 a bunch of *nix configuration

prelude-safeenum. A redefinition of the Prelude's Enum class in order to render it safe.

unix-bytestring. Unix/Posix-specific functions for ByteStrings.