Freddy Cubas

aith. Low level toy functional programming language with linear types, first class inline functions, levity polymorphism and regions.

Hazy. The Hazy Haskell Compiler

sky. Lambda Calculus to Ski compiler and runtime.

soft_render. a 3d software renderer

boolean_unification. An implementation of Boolean Unification in Haskell

chibicc. A small C compiler from rui314

world_gen. A Minecraft Terrain Generator