Nathan Guermond

Advanced
@nguermond

PhD student at University of Minnesota

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

17

normalization-by-evaluation. Various implementations of normalization by evaluation.

9

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

8

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

3

cdcl. An ocaml implementation of the CDCL algorithm.

2

monads-and-algebraic-effects. Examples of how monads and algebras relate to algebraic effect handlers

2
6
Apply