There are no reviews yet. Be the first to send feedback to the community and the maintainers!
pipes-speed-test
wadump
Small utility to dump data from the multi-device WhatsApp web client.suggest
Simple auto completion web servermazzo.li
Source for https://mazzo.litog
hakyll-agda
Hakyll support for Agda literate fileszurihac-plays
sundown
Haskell bindings to the sundown markdown libraryml-w
Minimal ML language to to demonstrate the W type infererence algorithmny-haskell-agda
Code and slides form my talk at NY Haskellanapo
micrograd-ad
kant
Core dependent language based on OTT (someday)x62-fancontrol
agdastuff
Assorted Agda code.haskell-readability
Short article about Haskell, python, and readabilitybson-mapping
type safe mapping between algebraic data types and bson documents.pitch-control
reskell
A clone of hacker news in happstackkyotocabinet
Mid level Haskell bindings to KyotoCabinetlanguage-spelling
Haskell library meant to be a set of tools to correct spelling mistakes, homophones, and OCR errorsYouTubePlayer
MooTools class that wraps the YouTube player JavaScript API.malice
Compiler for a really special language.troppotardi
hs-cam-filter
puzzlescript-rs
cpdt-agda
Partial translation of http://adam.chlipala.net/cpdt/ in Agdaml
Parser/TypeChecker/Compiler for a simple flavour of ML.wordwang2
andreaciofi
swine
🐖2048hs
2048 + AI in Haskellzoli-shake
fancontrol
Stupid fancontrol script, since nothing else seems to work for me.dependencies
Analyze module dependencies in erlang appsghc-timers
dogfights
gogh
Haskell templates, similar to Google Closure templatesLove Open Source and this site? Check out how you can help us