There are no reviews yet. Be the first to send feedback to the community and the maintainers!
system-f-redex
Church-style System F with definitions in Redex.scraps
Various mechanized proof files for fun.ttzoo
Notes on type theory.ssh-keygen-ed25519-vanity
Generate a vanity EdDSA SSH key for fun.cwf-notes
Notes on categories with families, interpreting syntax into CwFs, and some semantic models.github-scripts
A collection of Racket scripts for manipulating student repositories on GitHub as course staff.impressions
The Impressions File-System Image Generator from "Generating Realistic Impressions for File-System Benchmarking" (Agrawal 2009), now with bugs fixed.ECC
Various woefully incomplete mechanizations of Luo's Extended Calculus of Constructions.adventofcode-2020
Solutions for https://adventofcode.com/2020/.PHYS319
Files used for PHYS 319, WT2 2018adventofcode-2021
Solutions for https://adventofcode.com/2021/.QUOZ
Android app for generating random pastel colours. Also it's pronounced like "kwots".TT-model
Love Open Source and this site? Check out how you can help us