Popular repositories Loading

1. PLV-RG PLV-RG Public

   The (formerly @au-ts) PL&V Reading Group

   Makefile 4

2. ref-hoare ref-hoare Public

   A Hoare-Logic Style Refinement Types Formalisation

   Agda 3

3. graph-wrapper graph-wrapper Public

   Forked from batterseapower/graph-wrapper

   A wrapper around the standard Data.Graph with a less awkward interface

   Haskell

4. codec codec Public

   Forked from chpatrick/codec

   Easy bidirectional serialization in Haskell

   Haskell

5. popl2017-papers popl2017-papers Public

   Forked from gasche/popl2017-papers

   Link to preprints for POPL'17 and co-located events

6. matterhorn matterhorn Public

   Forked from matterhorn-chat/matterhorn

   Terminal client for MatterMost chat system

   Haskell