Lean 4 programming language and theorem prover

IntelliJ plugin for gvc0

The public domain stories of Sherlock Holmes, by Sir Arthur Ignatius Conan Doyle

🌟 Build beautiful, accessible, high-performance documentation websites with Astro

The web framework for content-driven websites. ⭐️ Star to support our work!

Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.

Class materials for a distributed systems lecture series

Course management service that enables auto-graded programming assignments.

a game whose purpose is games

C0 Language

TextMate is a graphical text editor for macOS 10.12 or later

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

Mechanized metatheory of LF in Twelf.

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

a pittsburgh blog.

Sweet filters for your desktop apps.

SIGBOVIK 2012

Haskell implementation of the Levy (CBPV) language

Latex starters for creating a CMU thesis or thesis proposal

Functioning: A Game Framework based on SDL for Standard ML

Library for automatic unit testing of Standard ML modules

A basic library of algorithms and data structures (a la NJlib)