barras's repositories
abstract-machines
Implementations in OCaml of various abstract machines
Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCamlNOASSERTION000
europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby000
Foundations
Development of the univalent foundations of mathematics in Coq
Language:Verilog000
HoTT
Homotopy type theory
Language:CoqNOASSERTION000
lambdapi
Minimal implementation of the λΠ-calculus modulo
Language:OCamlNOASSERTION000
ocaml-bindlib
Efficient binder representation in OCaml
resystance
Rewrite system stats n' count
Language:OCaml000