Pinned Repositories
cartmell-thesis
HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
cdcl
An ocaml implementation of the CDCL algorithm.
cic-model
Set-theoretical models of various type theories (up to an extensional version of the Calculus of Inductive Constructions), aiming at proving logical consistency and strong normalization
doculib
A GUI for tagging and managing document metadata for books, textbooks, or articles.
elpi
Embeddable Lambda Prolog Interpreter
local-set-theory
A tiny proof assistant for local set theory, in λ-Prolog.
metadb
Metadb is a library to locally store and manipulate a JSON database of file metadata
monads-and-algebraic-effects
Examples of how monads and algebras relate to algebraic effect handlers
normalization-by-evaluation
Various implementations of normalization by evaluation.
teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog
nguermond's Repositories
nguermond/doculib
A GUI for tagging and managing document metadata for books, textbooks, or articles.
nguermond/normalization-by-evaluation
Various implementations of normalization by evaluation.
nguermond/metadb
Metadb is a library to locally store and manipulate a JSON database of file metadata
nguermond/local-set-theory
A tiny proof assistant for local set theory, in λ-Prolog.
nguermond/monads-and-algebraic-effects
Examples of how monads and algebras relate to algebraic effect handlers
nguermond/cartmell-thesis
HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
nguermond/cdcl
An ocaml implementation of the CDCL algorithm.
nguermond/cic-model
Set-theoretical models of various type theories (up to an extensional version of the Calculus of Inductive Constructions), aiming at proving logical consistency and strong normalization
nguermond/elpi
Embeddable Lambda Prolog Interpreter
nguermond/lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
nguermond/ocamlagrep
String searching with errors, using the Wu-Manber algorithm
nguermond/ocolor
Print with style in your terminal using Format's semantic tags
nguermond/teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog
nguermond/minttea
A little TUI framework for OCaml
nguermond/ocaml-open
Conveniently open files such as PDFs in their default applications.
nguermond/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
nguermond/opam-repository
Main public package repository for opam, the source package manager of OCaml.