Popular repositories Loading

1. sudbury sudbury Public

   Haskell implementation of the wayland protocol

   Haskell 95 5

2. wiwikwlhott wiwikwlhott Public

   What I wish I knew when learning HoTT

   TeX 53 2

3. haskell-wayland haskell-wayland Public archive

   DEPRECATED Haskell bindings for the Wayland library

   Haskell 32 13

4. haskell-xkbcommon haskell-xkbcommon Public

   Haskell bindings for libxkbcommon

   Haskell 7 6

5. parametricityandlem-agda parametricityandlem-agda Public

   Agda development for "Parametricity, automorphisms of the universe, and excluded middle"

   Agda 2

6. PyBRML PyBRML Public

   Forked from djour/PyBRML

   Python Version of BRML toolbox for Bayesian Reasoning and Machine Learning

   Python 1