nguermond

Pinned Repositories

cartmell-thesis
HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
Language:TeX0 0 00
cdcl
An ocaml implementation of the CDCL algorithm.
Language:OCaml0 1 00
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
Language:Coq0 0 00
doculib
A GUI for tagging and managing document metadata for books, textbooks, or articles.
Language:OCaml14 1 01
elpi
Embeddable Lambda Prolog Interpreter
Language:Prolog0 0 00
local-set-theory
A tiny proof assistant for local set theory, in λ-Prolog.
Language:Prolog2 2 00
metadb
Metadb is a library to locally store and manipulate a JSON database of file metadata
Language:OCaml3 1 01
monads-and-algebraic-effects
Examples of how monads and algebras relate to algebraic effect handlers
Language:OCaml10
normalization-by-evaluation
Various implementations of normalization by evaluation.
Language:OCaml7 1 01
teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog
Language:C0 0 00

nguermond's Repositories

nguermond/doculib
A GUI for tagging and managing document metadata for books, textbooks, or articles.
Language:OCaml14 1 01
nguermond/normalization-by-evaluation
Various implementations of normalization by evaluation.
Language:OCaml7 1 01
nguermond/metadb
Metadb is a library to locally store and manipulate a JSON database of file metadata
Language:OCaml3 1 01
nguermond/local-set-theory
A tiny proof assistant for local set theory, in λ-Prolog.
Language:Prolog2 2 00
nguermond/monads-and-algebraic-effects
Examples of how monads and algebras relate to algebraic effect handlers
Language:OCaml10
nguermond/cartmell-thesis
HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
Language:TeX0 0 00
nguermond/cdcl
An ocaml implementation of the CDCL algorithm.
Language:OCaml0 1 00
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
Language:Coq0 0 00
nguermond/elpi
Embeddable Lambda Prolog Interpreter
Language:Prolog0 0 00
nguermond/lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
Language:OCaml0 0 00
nguermond/ocamlagrep
String searching with errors, using the Wu-Manber algorithm
Language:OCaml0 0 00
nguermond/ocolor
Print with style in your terminal using Format's semantic tags
Language:OCaml0 0 00
nguermond/teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog
Language:C0 0 00
nguermond/minttea
A little TUI framework for OCaml
Language:OCaml0 0
nguermond/ocaml-open
Conveniently open files such as PDFs in their default applications.
Language:OCaml0 0
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.
Language:Shell0 0