westluke

Computer Science Student at Brown University '22.5

Pinned Repositories

Forge
Forge: A Tool and Language for Teaching Formal Methods
Language:Racket67 10 718
circuit-SAT
Language:C++00
code.pyret.org
Website for serving Pyret to folks.
Language:JavaScript00
final-benchmarks
Language:NewLisp00
lexhack-2014
LexHack site
Language:CSS00
lexhack.github.io
website for lexhack 2015
Language:HTML0 2 00
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:JavaScript0 2 10
ocelot
A synthesis-enabled solver for relational logic
Language:Racket00
russet
Play SET without leaving the command line!
Language:Rust0 1 00
theorem_proving_in_lean4
Theorem Proving in Lean 4, with quizzes!
Language:JavaScript11

westluke's Repositories

westluke/theorem_proving_in_lean4
Theorem Proving in Lean 4, with quizzes!
Language:JavaScript11
westluke/circuit-SAT
Language:C++00
westluke/code.pyret.org
Website for serving Pyret to folks.
Language:JavaScript00
westluke/final-benchmarks
Language:NewLisp00
westluke/lexhack-2014
LexHack site
Language:CSS00
westluke/lexhack.github.io
website for lexhack 2015
Language:HTML0 2 00
westluke/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:JavaScript0 2 10
westluke/ocelot
A synthesis-enabled solver for relational logic
Language:Racket00
westluke/russet
Play SET without leaving the command line!
Language:Rust0 1 00
westluke/unified-autograder
Language:TeX02
westluke/wescheme-prototyping
Language:JavaScript00
westluke/wescheme
wescheme
Language:JavaScript