Popular repositories Loading

1. coq-hylomorphisms coq-hylomorphisms Public

   (Terminating) hylomorphisms in Coq

   TeX 3

2. mebi_plugin mebi_plugin Public

   OCaml 2

3. poly-lang poly-lang Public

   Experiments with deep embedding a point-free language with polynomial functors

   Coq 1

4. mpst-cost mpst-cost Public

   Deep Embedding Multiparty Session Types

   Haskell 1

5. quoted-prettyprinter quoted-prettyprinter Public

   Haskell Quoted Prettyprinting utility

   Haskell

6. scribble-go scribble-go Public

   Forked from nickng/scribble-go

   Scribble protocol description language support tools.

   Go