Auke Booij

sudbury. Haskell implementation of the wayland protocol

wiwikwlhott. What I wish I knew when learning HoTT

haskell-wayland. DEPRECATED Haskell bindings for the Wayland library

haskell-xkbcommon. Haskell bindings for libxkbcommon

haskell-locators. Haskell implementation of reals equipped with locators

parametricityandlem-agda. Agda development for "Parametricity, automorphisms of the universe, and excluded middle"

jazz. i bet you there is a typesystem behind music

PyBRML. Python Version of BRML toolbox for Bayesian Reasoning and Machine Learning