Luke West's repositories
code.pyret.org
Website for serving Pyret to folks.
Language:JavaScriptNOASSERTION000
Language:NewLisp000
lexhack-2014
LexHack site
Language:CSSMIT000
lexhack.github.io
website for lexhack 2015
Language:HTML000
new-4cube
The original 4cube is incompatible with most browsers, the interface isn't great, and I could have done more with the simulation. This is a new version that should be more fleshed out.
Language:JavaScriptMIT000
ocelot
A synthesis-enabled solver for relational logic
Language:RacketBSD-2-Clause000
russet
Play SET without leaving the command line!
Language:RustGPL-3.0000
theorem_proving_in_lean4
Theorem Proving in Lean 4, with quizzes!
Language:JavaScriptApache-2.0000
Language:TeX000
Language:JavaScript000