Pinned

1. cpp-effects cpp-effects Public

   Effect handlers in C++

   C++ 113 10

2. caymon caymon Public

   A tool to generate Haskell monads from polynomial Cayley representations

   JavaScript 3

3. grzb grzb Public

   A verifier for a simple imperative language powered by Z3

   Racket 4

4. stg-in-coq stg-in-coq Public

   Towards a formally verified Haskell compiler

   Coq 3 1

5. exotic-list-monads exotic-list-monads Public

   A Haskell library with non-standard monads on lists and non-empty lists

   Haskell 4

6. fizz-buzz fizz-buzz Public

   Dissecting the most difficult trivial programming puzzle

   C 3