Pinned Repositories
aith
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
jegc
Javascript eval Graphing calculator
sky
Lambda Calculus to Ski compiler and runtime.
soft_render
a 3d software renderer
tagged_union
Simple std.variant : Algebraic alternative
var_sub
Personal playground where I try to type check regions with subtyping
world_gen
A Minecraft Terrain Generator
Superstar64's Repositories
Superstar64/aith
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
Superstar64/sky
Lambda Calculus to Ski compiler and runtime.
Superstar64/soft_render
a 3d software renderer
Superstar64/tagged_union
Simple std.variant : Algebraic alternative
Superstar64/var_sub
Personal playground where I try to type check regions with subtyping
Superstar64/boolean_unification
An implementation of Boolean Unification in Haskell
Superstar64/c_closure
Linear Untyped Lambda Calculus to C compiler
Superstar64/tornado-pool
Somewhat tested Rangeish Stream libaray for D
Superstar64/world_gen
A Minecraft Terrain Generator
Superstar64/jegc
Javascript eval Graphing calculator
Superstar64/2019_ICPC
MDC Computer Club's ICPC 2019 Division 2 Answers
Superstar64/erasure
A D library for doing java style type erasure
Superstar64/euler
my project eular answers
Superstar64/gravity_effects
A program that produces simple gravity like visual effects
Superstar64/number
A C++ template library that has fixed points,ratios, and overflow checking