Pinned Loading

1. formal_verification_avl_trees formal_verification_avl_trees Public

   Verifying Correctness of an OCaml based implementation of AVL Trees

   Coq 2

2. fpp-final-project fpp-final-project Public

   Final project for introductory formal verification course

   Coq 1

3. haskell-playground haskell-playground Public

   Exploring topics in Haskell

   Haskell

4. Holmusk/postgresql-simple-named Holmusk/postgresql-simple-named Public

   ❓ Implementation of named parameters for `postgresql-simple` library

   Haskell 38 2

5. Holmusk/pushy-client Holmusk/pushy-client Public

   Haskell library for Pushy integration

   Haskell

6. pldi-final-project pldi-final-project Public

   Implementation of a DSL extending a toy language developed as part of a PLDI course

   OCaml