Pinned Repositories
extcompose
rewriting .XCompose with my extended notation
gorun
Compiles (using the standard tools) and runs individual Go files with a shebang line
haskell-socket-unix-ancillary
Ancillary data support for https://github.com/lpeterse/haskell-socket
lambda-eval
An evaluator for λ-calculus expressions
xcompose
A set of compose files for catting together into a .XCompose
XCParser
A Parsec parser for .XCompose files, extended haphazardly
Melvar's Repositories
Melvar/lambda-eval
An evaluator for λ-calculus expressions
Melvar/xcompose
A set of compose files for catting together into a .XCompose
Melvar/extcompose
rewriting .XCompose with my extended notation
Melvar/gorun
Compiles (using the standard tools) and runs individual Go files with a shebang line
Melvar/haskell-socket-unix-ancillary
Ancillary data support for https://github.com/lpeterse/haskell-socket
Melvar/XCParser
A Parsec parser for .XCompose files, extended haphazardly
Melvar/HoTT-Idris
HoTT in Idris
Melvar/Idris-dev
A Dependently Typed Functional Programming Language
Melvar/idris-utils
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.
Melvar/language-java
Java parser and printer for haskell
Melvar/lightyear
Parser combinators for Idris
Melvar/lutris
Lutris desktop client in Python / PyGObject
Melvar/madn
Mensch ärgere dich nicht
Melvar/one-time-password
Haskell implementation of One-Time Passwords algorithms
Melvar/parsers
Generic parser combinators
Melvar/ruby-marshal
Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
Melvar/SimpleIRC
IRC Library for Haskell