Superstar64/boolean_unification

Stars
1
Language
Haskell
License
Boost Software Li...
Created almost 2 years ago
Updated over 1 year ago

Superstar64/boolean_unification

Superstar64

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An implementation of Boolean Unification in Haskell

aith

[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.

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

c_closure

Linear Untyped Lambda Calculus to C compiler

tornado-pool

Somewhat tested Rangeish Stream libaray for D