Superstar64/aith Superstar64/aith

  • Stars
    star
    60
  • Rank 486,516 (Top 10 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created about 9 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Superstar64/aith
github

Superstar64

Reviews

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

Repository Details

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

More Repositories

1

sky

Lambda Calculus to Ski compiler and runtime.
Haskell
5
star
2

soft_render

a 3d software renderer
C++
3
star
3

tagged_union

Simple std.variant : Algebraic alternative
D
2
star
4

var_sub

Personal playground where I try to type check regions with subtyping
Haskell
2
star
5

world_gen

A Minecraft Terrain Generator
D
1
star
6

c_closure

Linear Untyped Lambda Calculus to C compiler
Haskell
1
star
7

tornado-pool

Somewhat tested Rangeish Stream libaray for D
D
1
star
8

boolean_unification

An implementation of Boolean Unification in Haskell
Haskell
1
star