Loading contributions...
Top Repositories
An evaluator for λ-calculus expressions
A set of compose files for catting together into a .XCompose
Ancillary data support for https://github.com/lpeterse/haskell-socket
A Parsec parser for .XCompose files, extended haphazardly
Compiles (using the standard tools) and runs individual Go files with a shebang line
rewriting .XCompose with my extended notation
Repositories
18مصنع – The file storage proxy service
Haskell implementation of One-Time Passwords algorithms
Ancillary data support for https://github.com/lpeterse/haskell-socket
Lutris desktop client in Python / PyGObject
A set of compose files for catting together into a .XCompose
Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
HoTT in Idris
An evaluator for λ-calculus expressions
Parser combinators for Idris
Generic parser combinators
A Dependently Typed Functional Programming Language
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
A Parsec parser for .XCompose files, extended haphazardly
Mensch ärgere dich nicht
Compiles (using the standard tools) and runs individual Go files with a shebang line
IRC Library for Haskell
Java parser and printer for haskell
rewriting .XCompose with my extended notation