Pinned Loading

1. simpledb simpledb Public

   Database Design and Implementation: Second Edition

   Rust 19 2

2. stable-marriage stable-marriage Public

   library around stable marriage algorithms

   Haskell 3 1

3. BCoPL BCoPL Public

   try exercise by Agda

   Agda 1

4. monadic-recursion-schemes monadic-recursion-schemes Public

   Recursion Schemes for Monadic version.

   Haskell 1

5. ifl ifl Public

   Haskell 1

6. payroll payroll Public

   Research on substituting inheritance with delegation

   Rust