Pinned Loading

1. strong-normalization strong-normalization Public

   Forked from Sparrow-Project/strong-normalization

   Strong normalization proof for System T in Abella

   Standard ML

2. doculib doculib Public

   A GUI for tagging and managing document metadata for books, textbooks, or articles.

   OCaml 17 1

3. normalization-by-evaluation normalization-by-evaluation Public

   Various implementations of normalization by evaluation.

   OCaml 9 1

4. metadb metadb Public

   Metadb is a library to locally store and manipulate a JSON database of file metadata

   OCaml 8 1

5. local-set-theory local-set-theory Public

   A tiny proof assistant for local set theory, in λ-Prolog.

   Prolog 3 1

6. monads-and-algebraic-effects monads-and-algebraic-effects Public

   Examples of how monads and algebras relate to algebraic effect handlers

   OCaml 2 1