Popular repositories Loading

1. System-F System-F Public

   A System F interpreter written in rust

   Rust 1

2. Processing Processing Public

   Just some small Processing scripts. These will likely not be documented very well.

   Processing

3. TurtlePlants TurtlePlants Public

   An attempt to use genetic programming to generate L-Systems.

   Java

4. SKI SKI Public

   A SKI Combinator Calculus Interpreter. Credits go to Prof. Nate Foster as I used his lexer, parser, main and Makefiles as a basis.

   OCaml

5. Position-Based-Fluid Position-Based-Fluid Public

   Forked from FluidSim/Position-Based-Fluid

   Position Based Fluid Simulation

   Java

6. Coq Coq Public

   Coq