Pinned

1. tactics tactics Public

   working tech prototype of a multiplayer turn based game inspired by Frozen Synapse - implemented in Rust using Piston graphics

   Rust 2

2. lofer-lang/lofer-tc lofer-lang/lofer-tc Public

   minimal dependently typed language implemented in Rust, plus some of the type theory research I am using it for

   LiveScript 2

3. adamant adamant Public

   minimal programming language being implemented from scratch in C

   C

4. agda-experiments agda-experiments Public

   Stuff I have proved in Agda. Mainly playing with things that could make a type theory more minimal.

   Agda

5. city-sim city-sim Public

   My latest and greatest attempt at simulating a city (C, Vulkan)

   C

6. fix-math fix-math Public

   Slow but arbitrary accuracy implementations of math functions, without using any floating points, for future use as sample functions for finding faster approximations.

   Rust