pmer/tla-bin

Command line binaries for the TLA+ language

HarvardPL/formulog

Datalog with support for SMT queries and first-order functional programming

dunhamsteve/newt

A toy dependent typed language.

jonsterling/ocaml-forester

Mirror of ocaml-forester

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

garrigue/certint

A Certified Interpreter for ML with Structural Polymorphism

jonsterling/dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.