jcreedcmu's repositories
lambda-map-drawer
Interactive Lambda Maps Toy
twelf-wasm
Run Twelf in the browser with wasm and WASI
upsilon-draft
Engineering game prototype
aberle-parametricity-exercise
Understanding Aberlé's Parametricity via Cohesion
apple2e-notes
Some notes about trying to do things with an apple iie
blender-generate
Generate blender scenes
chromatic-type-polynomial
HoTT generalization of chromatic polynomial
disintegrationphactor
Perl Album
docker-mlton
A simple docker file that includes the mlton binary release
lean4-docker
A small Dockerfile to allow working on a particular lean4 development inside emacs inside a docker container
learn-pl
Experiments in learning Polish
math-puzzles-in-lean4
math puzzles from various sources, formalized in Lean 4
mlkit
Standard ML Compiler and Toolkit
nix-config
Nix configuration
paperwork-game
Some ideas and notes for a game where you fill out forms.
Retro68
a gcc-based cross-compiler for classic 68K and PPC Macintoshes
twelf
The Twelf Programming Language (mirror of SVN repository)
twelf-lsp
LSP server for Twelf
twelf-nes
twelf on nes