Experiments
Stack Machine
Visualization of a stack machine that supports closures, continuations, actor-model.
Type Inference
Interpreter and a Type inference for a (Polymorphic) Typed Lambda Calculus, and a register machine visualization.
Falling Sand
Falling sand simulator.
Combinatorics
Visualizing combinatorial generators and formulas.
Linear Graph
Interactive graphing of linear maps.
Vector Fields
Visualizing vector fields.
Classical Mechanics
Interactive physics simulations (Pendulums, etc.) written in PureScript.
Newtonian Dance
n-body simulation using Newton's Law of Gravity and other laws.
Eyes
An implementation of an interactive version of the Picture Language from SICP.