There are no reviews yet. Be the first to send feedback to the community and the maintainers!
sixten
Functional programming with fewer indirectionsEarley
Parsing all context-free grammars using Earley's algorithm in Haskell.sixty
Dependent type checker using normalisation by evaluationBidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"rock
Build systembraces-be-gone
Get those pesky braces out of your faceGenerate-C
Embedded C code generation DSL for Haskell.dependent-hashmap
Dependent hash mapsrope-utf16-splay
Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairsparsix
Adventures in parser combinatorsregion
Adventures in region inferencemirrored-keyboard-layouts
Mirrored XKB layouts for one-handed typingnavm-hs
Not a virtual machinenavm
Not A Virtual Machineenvironment-bench
Benchmarking compiler representations of variable environmentsincrementalism
Fuse.JSON
Convert various things (JavaScript values, Objective-C objects) to and from JSON in Unooslo-haskell
Exercisespackrat
Adventures in packrat parsingrope-utf16
ibuild
Indexed build systems a la carteFunSharp
Learning F#, nothing to see herevim-svorsk
Vim for Swedes in Norwaypaws
Utility for automatically pausing and resuming music at appropriate times.fenwick
Self-balancing Fenwick trees with logarithmic time monoidal prefix sumsby-value
Polymorphism without pointer indirections in C++, allowing you to store and pass subclass objects by valuellvm-irbuilder
IRBuilder for LLVM Haskell Bindings ( Experimental )system-rea
Dad made me do itderiving-gcompare
Derive instances for GEq and GCompare from the dependent-sum packageollef.github.io
postgres-woobat
rope-bench
satire
SatisfactionLove Open Source and this site? Check out how you can help us