esmolanka

sexp-grammar

Invertible parsing for S-expressions

distributed-process-raft

Toy implementation of Raft consensus for Cloud Haskell

simple-pi

Simplistic implementation of dependently typed lambda calculus

invertible-grammar

Invertible grammar combinators

icfpc2014

ICFPC2014 / Cofree Coriders team

idris-sandbox

lambdaf

Experiments with modular lambda calculus using datatypes à la carte and extensible effects

rho

Experiments with row-type polymorphism and row-based effects types

argbuilder

Command line argument building DSL

dhall-haskell

A configuration language guaranteed to terminate

dsl2ffi

POC on-the-fly generation from a DSL to C and importing it via FFI

fastsum

A fast open-union type, suitable for 100+ contained alternatives.

Firefox-UI-Theme-Tweaks-and-Bottom-Tabs

haddock

Haskell Documentation Tool

jsonrpc2

[unfinished, abandoned] Simple JSON-RPC 2.0 interface for Haskell

kievfprog.github.io

metaocaml-bibliography

MetaML and MetaOCaml bibliography

stackage

"Stable Hackage": vetted consistent packages from Hackage

struct-parse

Error-reporting parser for unityped data structures (e.g. JSON)

talks

unityped-parser

Experimental parser from unityped data structures (like JSON) with comprehensive error reporting

yaop

Yet Another Option Parser