Timothy Mou's repositories
AbcDatalog
Datalog that's as easy as ABC.
cf-rank
Adding Atcoder-style ranks to Codeforces
cmssw
CMS Offline Software
cout-1-0-endl
Team notebook for Swarthmore ICPC team cout << 1/0 << endl;
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
ego
EGraphs in OCaml
gadt-STLC
lambda calculus interpreter using GADTs
game-theory
Theory of impartial combinatorial games
gkat
An automata-based decision procedure for equivalence of GKAT programs
hasp
Typed, efficient parser combinators
HoTT-Intro
An introductory course to Homotopy Type Theory
lateral-cast-stats
Transcripts and statistics for https://lateralcast.com/
logical-relations
Demonstration of Logical Relations proof technique.
mashup-gen
A script to automatically generate Codeforces mashup contests
napkin
An Infinitely Large Napkin
Obsidian
Obsidian language development
smart-contract-sanctuary
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
solid-happiness
Formalization of STLC metatheory in Agda
wyvern
The Wyvern programming language.