Pinned Loading

1. fram-lang/dbl fram-lang/dbl Public

   An experimental programming language that combines effect handlers and implicit parameters

   OCaml 20 13

2. spica spica Public

   Astrophotography image processing library

   C 1

3. type-systems-notes type-systems-notes Public

   Lecture notes for the Type Systems course given in Autumn 2023

   TeX 11 9

4. trust trust Public

   C 2

5. IxFree IxFree Public

   A Coq library with shallow embedding of step-indexed domain specific logic

   Coq 2