Pinned Loading

1. teyjus teyjus Public

   Forked from cjohnson19/teyjus

   An efficient implementation of the higher-order logic programming language Lambda Prolog

   C

2. doculib doculib Public

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

   OCaml 14 1

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

   Various implementations of normalization by evaluation.

   OCaml 7 1

4. metadb metadb Public

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

   OCaml 3 1

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

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

   Prolog 2 1

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

   Examples of how monads and algebras relate to algebraic effect handlers

   OCaml 1 1