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