Melvar/masna3
مصنع – The file storage proxy service
Repositories
Melvar/one-time-password
Haskell implementation of One-Time Passwords algorithms
Melvar/haskell-socket-unix-ancillary
Ancillary data support for https://github.com/lpeterse/haskell-socket
Melvar/lutris
Lutris desktop client in Python / PyGObject
Melvar/xcompose
A set of compose files for catting together into a .XCompose
Melvar/ruby-marshal
Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
Melvar/HoTT-Idris
HoTT in Idris
Melvar/lambda-eval
An evaluator for λ-calculus expressions
Melvar/lightyear
Parser combinators for Idris
Melvar/parsers
Generic parser combinators
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/XCParser
A Parsec parser for .XCompose files, extended haphazardly
Melvar/madn
Mensch ärgere dich nicht
Melvar/gorun
Compiles (using the standard tools) and runs individual Go files with a shebang line
Melvar/SimpleIRC
IRC Library for Haskell
Melvar/language-java
Java parser and printer for haskell
Melvar/extcompose
rewriting .XCompose with my extended notation