Melvar/idris-utils
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
Discovered public repositories for Melvar in the GitHub catalog.
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
IRC Library for Haskell
Mensch ärgere dich nicht
Java parser and printer for haskell
A Dependently Typed Functional Programming Language
rewriting .XCompose with my extended notation
A Parsec parser for .XCompose files, extended haphazardly
Compiles (using the standard tools) and runs individual Go files with a shebang line
An evaluator for λ-calculus expressions
A set of compose files for catting together into a .XCompose