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. spectec spectec Public

   Forked from Wasm-DSL/spectec

   Wasm SpecTec specification tools

   WebAssembly 1 1

4. graph-wrapper graph-wrapper Public

   Forked from batterseapower/graph-wrapper

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

   Haskell

5. codec codec Public

   Forked from chpatrick/codec

   Easy bidirectional serialization in Haskell

   Haskell

6. popl2017-papers popl2017-papers Public

   Forked from gasche/popl2017-papers

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