Pinned Repositories
argbuilder
Command line argument building DSL
distributed-process-raft
Toy implementation of Raft consensus for Cloud Haskell
icfpc2014
ICFPC2014 / Cofree Coriders team
idris-sandbox
invertible-grammar
Invertible grammar combinators
lambdaf
Experiments with modular lambda calculus using datatypes à la carte and extensible effects
rho
Experiments with row-type polymorphism and row-based effects types
sexp-grammar
Invertible parsing for S-expressions
simple-pi
Simplistic implementation of dependently typed lambda calculus
esmolanka's Repositories
esmolanka/sexp-grammar
Invertible parsing for S-expressions
esmolanka/distributed-process-raft
Toy implementation of Raft consensus for Cloud Haskell
esmolanka/simple-pi
Simplistic implementation of dependently typed lambda calculus
esmolanka/invertible-grammar
Invertible grammar combinators
esmolanka/icfpc2014
ICFPC2014 / Cofree Coriders team
esmolanka/idris-sandbox
esmolanka/lambdaf
Experiments with modular lambda calculus using datatypes à la carte and extensible effects
esmolanka/rho
Experiments with row-type polymorphism and row-based effects types
esmolanka/argbuilder
Command line argument building DSL
esmolanka/dhall-haskell
A configuration language guaranteed to terminate
esmolanka/dsl2ffi
POC on-the-fly generation from a DSL to C and importing it via FFI
esmolanka/fastsum
A fast open-union type, suitable for 100+ contained alternatives.
esmolanka/Firefox-UI-Theme-Tweaks-and-Bottom-Tabs
esmolanka/haddock
Haskell Documentation Tool
esmolanka/jsonrpc2
[unfinished, abandoned] Simple JSON-RPC 2.0 interface for Haskell
esmolanka/kievfprog.github.io
esmolanka/metaocaml-bibliography
MetaML and MetaOCaml bibliography
esmolanka/stackage
"Stable Hackage": vetted consistent packages from Hackage
esmolanka/struct-parse
Error-reporting parser for unityped data structures (e.g. JSON)
esmolanka/talks
esmolanka/unityped-parser
Experimental parser from unityped data structures (like JSON) with comprehensive error reporting
esmolanka/yaop
Yet Another Option Parser