|
|
|
lil-cad 3d editorfirst-person 3d toy: extrude polygons and walk around on them. |
2026-02-23 |
|
|
|
janim editor mathmanim-inspired math animation experiment |
2026-02-21 |
|
|
|
lean-blockly-test leanblockly lean game test |
2026-02-20 |
|
|
|
recipe foodsimple PWA to display recipes on mobile |
2026-02-06 |
|
|
|
audio-sb music synthsome minimalist drum synthesis with web ux |
2025-12-26 |
|
|
|
workbench-doc leandesign doc for lean workbench |
2025-10-01 |
|
|
|
Moduletest leana minimal example of a lean surprise (to me) |
2025-09-11 |
|
|
|
Noperthedron lean rupertlean4 proof that the noperthedron does not have rupert property |
2025-08-17 |
|
|
|
rustpert rupertsome rust code to experiment with brute-force analysis of Rupert property |
2025-06-28 |
|
|
|
redlog-docker dockera nice repeatable docker file for using REDUCE/redlog |
2025-06-08 |
|
|
|
questionnaire gamesome kind of minimalist form "game" |
2025-06-02 |
|
|
|
calcolo ttrpgcreative writing exercise about a made-up ttrpg |
2025-05-17 |
|
|
|
zoomer game zooma game where the only affordance is scroll-wheel zoom |
2025-05-03 |
|
|
|
qepcad-docker dockerdockerfile to build qepcad |
2025-04-20 |
|
|
|
circuit_props leana lean formalization of a model of signal propagation in digital circuits |
2025-04-13 |
|
|
|
easy-parametricity lean math parametricitylean formalization of Jem Lord's parametricity result |
2025-04-01 |
|
|
|
parametricity agda math parametricitysome thoughts in agda about internalized parametricity |
2024-12-25 |
|
|
|
polish-flashcards polishflashcards for learning polish |
2024-12-19 |
|
|
|
rupert ruperttoy to interactively explore polyhedra that may or may not have the rupert property |
2024-12-13 |
|
|
|
stompboard 3dprint arduino cad makingthe arudino code for a stompboard karolina wanted to change tracks in itunes |
2024-08-25 |
|
|
|
deptypes-example typesa conversation about why dependent types are motivated in UI code |
2024-08-19 |
|
|
|
pyoro gamea turn-based platforming game |
2024-07-20 |
|
|
|
threejs-experiment 3dexperimenting with threejs voxel DSL |
2024-07-14 |
|
|
|
sections metaa frontend to help viewing and editing some of my notesfiles |
2024-06-15 |
|
|
|
rust-optimization-test rustBitmask Evolution Optimization used in rust (I think for rupert?) |
2024-06-09 |
|
|
|
frontend-template template weba template for my usual preferences for react projects |
2024-06-08 |
|
|
|
score-editor editor musicpiano roll editor in react |
2024-06-06 |
|
|
|
twelf-nes apple2e nes plt twelf typesthinking about what "twelf on nes" could mean |
2024-04-26 |
|
|
|
disintegrationphactor musicperl electronic music I wrote in 1999 |
2024-04-20 |
|
|
|
rust-synth music rust synthaudio synthesis in rust |
2024-04-19 |
|
|
|
learn-pl polishexperiments in learning polish |
2024-04-17 |
|
|
|
nix-config config nixthe nix configuration for my nixos laptop |
2024-04-16 |
|
|
|
aberle-parametricity-exercise math parametricityunderstanding Aberlé's parametricity via cohesion |
2024-04-13 |
|
|
|
twelf-mac mac twelftwelf on classic mac |
2024-03-22 |
|
|
|
twelf-lsp twelflsp server for twelf |
2024-03-08 |
|
|
|
docker-mlton dockerdocker file that includes the mlton binary release |
2024-03-03 |
|
|
|
blender-generate 3d blenderframework for generating blender animations (used for wordlike) |
2024-02-18 |
|
|
|
twelf-wasm twelf wasmtwelf in the browser |
2024-02-13 |
|
|
|
wordlike game mobilea roguelike where you spell words with letter tiles |
2023-09-30 |
|
|
|
apple2e-notes apple2enotes about trying to do things with an apple iie |
2023-07-15 |
|
|
|
paperwork-game gamea game where you fill out forms |
2023-05-24 |
|
|
|
lean4-docker docker leana nice repeatable dockerfile for running lean4 |
2023-05-17 |
|
|
|
cheeto cad mathphotogrammetry for recovering the structure of "The Love of Two Oranges" |
2023-03-05 |
|
|
|
nes game nesa homebrew minigolf game for the NES |
2023-02-08 |
|
|
|
upsilon-draft gameengineering game prototype |
2022-11-24 |
|
|
|
chromatic-type-polynomial agda chromatic hott math typesHoTT generalization of chromatic polynomial |
2021-12-05 |
|
|
|
semisimplicial math typesthoughts about semisimplicial types in type theory |
2021-09-26 |
|
|
|
puppet-show game ttrpgsome tools for synchronizing a view of a storytelling space |
2021-04-11 |
|
|
|
dot-emacs config emacsmy emacs configuration |
2021-01-02 |
|
|
|
tripotle mathcomputing points equidistant from chipotles |
2019-10-06 |
|
|
|
midi-toy midi musicinterval ear training |
2019-06-26 |
|
|
|
lambda-enum lambdamaps mathenumerating coloring constraints to test a conjecture |
2019-05-05 |
|
|
|
lambda-map-drawer editor lambdamapsinteractive lambda maps toy |
2019-04-21 |
|
|
|
cubetest 3drender a 3d surface |
2019-04-07 |
|
|
|
jcreedcmu.github.io blogjcreed's blog |
2018-04-01 |
|
|
|
wesleyan latex mathlatex research notes that originated in my postdoc at wesleyan, but continued after |
2018-03-06 |
|
|
|
stepper-music arduino making musicmaking music with a stepper motor |
2018-01-29 |
|
|
|
midilog midi musicweb app for recording from midi keyboard and tagging/viewing/playing recordings |
2017-12-16 |
|
|
|
dependent-modal math typesdependent modal type theory |
2017-09-27 |
|
|
|
noodle 3d blendera looping animation I made in blender which went viral as "infinite macaroni" |
2017-08-03 |
|
|
|
typed-paths typesexperiments with the ergonomics of typescript and immutablejs |
2017-04-21 |
|
|
|
jqi jsonlive-update jq |
2016-12-11 |
|
|
|
lambda-maps lambdamapssome code to process lambda maps |
2016-03-22 |
|
|
|
gosynth go music synthsynthesizer in go |
2015-11-26 |
 |
|
|
zuvodat gamea board game about pushing a token around |
2015-10-13 |
|
|
|
data-over-audio synthtrying to send data over audio signals |
2015-10-11 |
|
|
|
adjoint logic mathadjoint logic over a 2-category of worlds |
2015-09-22 |
|
|
|
deconcentration gameexperimental reaction game |
2015-08-11 |
|
|
|
svg-perf-test conworld mapssome tools for managing map data for a conworld I was working on |
2015-07-12 |
|
|
|
iwoalye cljs game ttrpgquestion answering game |
2015-07-08 |
|
|
|
tis100-solns gamingmy solutions for tis100 |
2015-07-05 |
|
|
|
jsexp plta tiny concrete syntax for a language |
2015-06-29 |
|
|
|
cljsbuild-leak cljsa minimal example of a behavior of lein-figwheel that I don't understand |
2015-05-29 |
|
|
|
anstatauxi esperantochrome plugin for esperanto x-convention |
2015-05-29 |
|
|
|
urrakeny cljs game mapsmap conquest game |
2015-05-19 |
|
|
|
journal-viz bookkeeping vizvisualize double-entry bookkeeping journal |
2015-05-11 |
|
|
|
psql-gunzip-test dbpostgresql external function to uncompress gzipped data |
2015-05-05 |
|
|
|
qla idris math typeslinear algebra with quantities/units of measurement |
2015-05-03 |
|
|
|
pegjs-cljs cljsclojurescript wrapper around pegjs |
2015-04-21 |
 |
|
|
fair-weighting math weightingweighting that can't be gamed by duplication |
2014-10-18 |
|
|
|
alarm utilsimple alarm app |
2014-09-14 |
 |
|
|
hexagon-robot gamea ricochet robot-esque game on a hex grid |
2014-02-09 |
|
|
|
ld28 game ludum-darebirnallong for ludum dare 28 ("you only get one") |
2013-12-16 |
|
|
|
hilbert-animation art demoan animation of circles moving around a hilbert curve |
2013-12-15 |
 |
|
|
continents |
2013-08-18 |
 |
|
|
roads |
2013-08-15 |
|
|
|
focal-encoding-twelf logic twelfproving correctness of a focal encoding in twelf |
2013-04-03 |
|
|
|
math math websitesome html math notes |
2012-06-02 |
|
|
|
katzenklavier music synthcat piano |
2012-05-30 |
|
|
|
foo music synthaudio synth |
2012-03-04 |
 |
|
|
concrete-syntax2 |
2012-01-18 |
 |
|
|
concrete-syntax |
2012-01-15 |
 |
|
|
heron |
2011-08-23 |
 |
|
|
penrose |
2011-05-28 |
 |
|
|
plumb2 |
2011-01-22 |
 |
|
|
plumb |
2011-01-16 |