Pinned Repositories
anstatauxi
gosynth
lambda-map-drawer
Interactive Lambda Maps Toy
lambda-maps
macro_experiment
twelf-wasm
Run Twelf in the browser with wasm and WASI
upsilon-draft
Engineering game prototype
wordlike
Wordlike
jcreedcmu's Repositories
jcreedcmu/twelf-wasm
Run Twelf in the browser with wasm and WASI
jcreedcmu/dot-emacs
jcreedcmu/jcreedcmu.github.io
jcreedcmu/wordlike
Wordlike
jcreedcmu/aberle-parametricity-exercise
Understanding Aberlé's Parametricity via Cohesion
jcreedcmu/apple2e-notes
Some notes about trying to do things with an apple iie
jcreedcmu/blender-generate
Generate blender scenes
jcreedcmu/chromatic-type-polynomial
HoTT generalization of chromatic polynomial
jcreedcmu/disintegrationphactor
Perl Album
jcreedcmu/docker-mlton
A simple docker file that includes the mlton binary release
jcreedcmu/frontend-template
A template for my usual preferences for react projects
jcreedcmu/lean4-docker
A small Dockerfile to allow working on a particular lean4 development inside emacs inside a docker container
jcreedcmu/learn-pl
Experiments in learning Polish
jcreedcmu/math-puzzles-in-lean4
math puzzles from various sources, formalized in Lean 4
jcreedcmu/midilog
jcreedcmu/mlkit
Standard ML Compiler and Toolkit
jcreedcmu/nix-config
Nix configuration
jcreedcmu/nvprof-experiment
jcreedcmu/paperwork-game
Some ideas and notes for a game where you fill out forms.
jcreedcmu/Retro68
a gcc-based cross-compiler for classic 68K and PPC Macintoshes
jcreedcmu/rust-optimization-test
Rust Optimization Test
jcreedcmu/rust-synth
jcreedcmu/score-editor
jcreedcmu/sections
jcreedcmu/svg-perf-test
jcreedcmu/twelf
The Twelf Programming Language (mirror of SVN repository)
jcreedcmu/twelf-lsp
LSP server for Twelf
jcreedcmu/twelf-mac
jcreedcmu/twelf-nes
twelf on nes
jcreedcmu/wasm-sb