Natural Number Game

A web application designed to assist CMUQ faculty in analyzing and planning courses that fulfill requirements across the four majors at CMU-Q. It includes a backend for data processing and API, a f…

A stepping debugger for Standard ML (SML)

Library for automatic unit testing of Standard ML modules

sml-nj with a Functional Assertion Engine

SML reference interpreter

A linear logic theorem prover

Contextual types meet mechanized metatheory!

A Linear Logic Prover implemented in OCaml

Classical and Constructive Logic Interactive Theorem Prover

Original LLF implementation (typechecher + operational semantics) from 1997

Formalization of Linear Logic

CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles

An efficient implementation of the higher-order logic programming language Lambda Prolog