Beast code in Giters

Freddy Cubas's repositories

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

Language:HaskellGPL-3.060 6 1

Lambda Calculus to Ski compiler and runtime.

Language:HaskellBSL-1.05 10

a 3d software renderer

Language:C++GPL-3.03 10

Simple std.variant : Algebraic alternative

Language:DBSL-1.02 20

Personal playground where I try to type check regions with subtyping

Language:HaskellBSL-1.02 10

An implementation of Boolean Unification in Haskell

Language:HaskellBSL-1.01 10

Linear Untyped Lambda Calculus to C compiler

Language:HaskellBSL-1.01 20

Somewhat tested Rangeish Stream libaray for D

Language:DBSL-1.01 10

A Minecraft Terrain Generator

Language:DGPL-3.01 10

Javascript eval Graphing calculator

Language:JavaScriptBSL-1.0000

MDC Computer Club's ICPC 2019 Division 2 Answers

Language:HaskellBSL-1.0000

A D library for doing java style type erasure

Language:DBSL-1.0010

my project eular answers

Language:DBSL-1.0010

A program that produces simple gravity like visual effects

Language:DBSL-1.0010

A C++ template library that has fixed points,ratios, and overflow checking

Language:C++BSL-1.0010