Popular repositories Loading

1. sudbury sudbury Public

   Haskell implementation of the wayland protocol

   Haskell 89 5

2. wiwikwlhott wiwikwlhott Public

   What I wish I knew when learning HoTT

   TeX 52 2

3. haskell-wayland haskell-wayland Public archive

   DEPRECATED Haskell bindings for the Wayland library

   Haskell 32 9

4. haskell-xkbcommon haskell-xkbcommon Public

   Haskell bindings for libxkbcommon

   Haskell 7 6

5. PyBRML PyBRML Public

   Forked from djour/PyBRML

   Python Version of BRML toolbox for Bayesian Reasoning and Machine Learning

   Python 1

6. parametricityandlem-agda parametricityandlem-agda Public

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

   Agda 1