Francesco Mazzoli

pipes-speed-test. Assembly

wadump. Small utility to dump data from the multi-device WhatsApp web client.

suggest. Simple auto completion web server

mazzo.li. Source for https://mazzo.li

tog. Haskell

hakyll-agda. Hakyll support for Agda literate files

sundown. Haskell bindings to the sundown markdown library

zurihac-plays. Haskell

ml-w. Minimal ML language to to demonstrate the W type infererence algorithm

micrograd-ad. Haskell

ny-haskell-agda. Code and slides form my talk at NY Haskell

x62-fancontrol. C

anapo. Haskell

agdastuff. Assorted Agda code.

kant. Core dependent language based on OTT (someday)

haskell-readability. Short article about Haskell, python, and readability

bson-mapping. type safe mapping between algebraic data types and bson documents.

pitch-control. Haskell

kyotocabinet. Mid level Haskell bindings to KyotoCabinet

language-spelling. Haskell library meant to be a set of tools to correct spelling mistakes, homophones, and OCR errors

reskell. A clone of hacker news in happstack

cpdt-agda. Partial translation of http://adam.chlipala.net/cpdt/ in Agda

digestive-functors. A general way to consume input using applicative functors

xmobar. A minimalistic text-based status bar

YouTubePlayer. MooTools class that wraps the YouTube player JavaScript API.

hs-cam-filter. Haskell

wordwang2. Haskell

puzzlescript-rs. Rust

troppotardi. Python

ml. Parser/TypeChecker/Compiler for a simple flavour of ML.

malice. Compiler for a really special language.

swine. 🐖

ghc-timers. Haskell

aframe. :a: web framework for building virtual reality experiences.

solga. Simple typesafe routing

interpol. GHC preprocessor to enable variable interpolation in strings

dogfights. Rust

quatris. Tetris clone with AI and bastard mode

gogh. Haskell templates, similar to Google Closure templates

rocksdb. A library that provides an embeddable, persistent key-value store for fast storage.