Popular repositories Loading

1. needle needle Public

   Needle code generator

   Haskell 6 1

2. gdtc gdtc Public

   Coq 4 1

3. mtc mtc Public

   Coq 2

4. language-coq language-coq Public

   A pretty-printing solution for the Coq proof assistant language

   Haskell 2

5. inbound inbound Public

   Haskell 1

6. riscv64-ghc-bindist riscv64-ghc-bindist Public

   Binary GHC Packages compiled for RISC-V 64

   Dockerfile 1 1