Popular repositories Loading

1. actario actario Public

   Verification Framework for Actor Systems on Coq

   OCaml 30 3

2. docker-satysfi docker-satysfi Public

   Docker images for SATySFi and Satyrographos

   Dockerfile 26 7

3. coq-extensible-effects coq-extensible-effects Public

   Extensible Effects in Coq

   Coq 8

4. haskelltter haskelltter Public

   Twitter client on GHCi (inspired by ocamltter)

   Haskell 7 1

5. github-post-receive github-post-receive Public

   A library to construct github post-receive servers.

   Haskell 5 2

6. haskell-relational-record-driver-oracle haskell-relational-record-driver-oracle Public

   [Obsolete] Oracle driver for haskell-relational-record

   Haskell 4 1