Robert J. Simmons

dusa. A logic programming language that has features of both Datalog and answer set programming.

sml-lib. Library for Standard ML

cmu-thesis. Latex starters for creating a CMU thesis or thesis proposal

abbot. Generation of abstract binding trees

sketchzone. Quality-of-life for fiddly little JS apps that modify user-generated text

functioning. Functioning: A Game Framework based on SDL for Standard ML

levy. A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notation, the 'modprec' branch fiddles with the parser, and the 'datatype' branch totally changes the parser (damn you, reduce/reduce errors) and adds support for user-defined datatypes. The 'holey' branch is highly experimental; I am using it to explore some ideas in generic programming.

l10. The L10 Logic Programming Language

agda-lib. A standard library for Agda

twelf-wasm. Run Twelf in the browser with wasm and WASI

thesis. TeX

sml-cidre. SML Checker for Intersection and Datasort Refinements (pronounced "cider")

hot-notes. Personal notes for 15-417, Higher-Order Typed Compilation, at CMU. Buyer beware.

simple-fixity. An attempt at general-purpose fixity resolution code for Standard ML

toy. Standard ML

c0testing. Public test case suite for C0

sdlml. Wrappers for Simple 4 Directmedia Layer (SDL) in Standard ML (SML)

utf8islove. Tools for using Emacs to write Unicode characters in plain LaTeX

sls. Standard ML

linguist. Language Savant

cmlex-temp. Standard ML

gollum-c0. A simple, Git-powered wiki with a sweet API and local frontend.

lambdatown.

agda-typescript-starter. An attempt at relatively straightforward integration of Agda into a Typescript project

tinybot. Tinybot is a toy implementation of semi-naive bottom up logic programming

pin. Standard ML

celf-recon. Standard ML

astro-constrained-image-bug-repro. Astro

lambda-reader. Standard ML

dev-urand. SIGBOVIK 2012

twelflive. JavaScript