Popular repositories Loading

1. haskell-overlays haskell-overlays Public

   Two approaches to writing modular, composable overlays for haskell packages.

   Nix 3

2. ord-axiomata ord-axiomata Public

   Axiomata & lemmata for easier use of Data.Type.Ord

   Haskell 3

3. LL-init LL-init Public

   Code release for The Shattered Gradients Problem (ICML2017)

   Python 2 1

4. heterogeneous-comparison heterogeneous-comparison Public

   Comparison of distinctly typed values with evidence capture

   Haskell 2

5. xmonad-contrib xmonad-contrib Public

   Forked from xmonad/xmonad-contrib

   Contributed modules for xmonad

   Haskell

6. waymonad waymonad Public

   Forked from waymonad/waymonad

   A wayland compositor based on ideas from and inspired by xmonad

   Haskell