Popular repositories Loading

1. linear-code linear-code Public

   Haskell library for linear codes from coding theory

   Haskell 4

2. matrix-static matrix-static Public

   Wrapper around matrix that adds matrix sizes to the type-level

   Haskell 4 2

3. dotfiles dotfiles Public

   Some of my dotfiles

   Nix 4 1

4. idris2.nix idris2.nix Public

   A scrappy nix derivation for Idris2, the successor to Idris.

   Nix 4 1

5. idris2-curl idris2-curl Public

   Curl bindings for Idris 2

   Idris 4 1

6. from-dict from-dict Public

   Python library to construct data structures from dictionaries.

   Python 2 1