Lambda-Mountain-Compiler-Backend / lambda-mountainLinks
Compiler Backend for LSTS (Typed Macro Assembler)
☆29Updated this week
Alternatives and similar repositories for lambda-mountain
Users that are interested in lambda-mountain are comparing it to the libraries listed below
Sorting:
- Large Scale Type Systems (programming language)☆123Updated last week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 4 months ago
- Notes from the stream where I was checking out QBE☆19Updated last year
- siko☆14Updated last year
- c-prepocessor lisp☆25Updated last year
- Glide programming language☆20Updated 2 years ago
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆67Updated last month
- Official repository of the Jas assembler project - A assembler and library for generating code for x86☆46Updated this week
- The Callisto compiler of the 13th month, and other language extras☆61Updated this week
- Statically typed general purpose programming language☆1Updated last year
- The Nox programming language☆29Updated last year
- The Evi programming language☆16Updated 2 years ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- An interpreted array programming language☆16Updated 5 months ago
- A small toy language with syntax heavily inspired by Lua that transpiles to JS.☆18Updated 2 years ago
- A small unix-like kernel and OS components based around the Shard programming language.☆13Updated this week
- An implementation of interaction nets as a forth-like language.☆33Updated 3 weeks ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- Zang is a dynamically typed high level programming language.☆35Updated 2 years ago
- EeZee Language - Compiler Engineering Basics☆23Updated last week
- A programmable virtual CPU written in untyped lambda calculus☆55Updated 2 years ago
- An esoteric RPN golfing language☆23Updated 2 years ago
- Yet another language oriented on functional programming.☆9Updated 6 months ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆11Updated 2 years ago
- The Ribbon programming language☆11Updated 3 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆30Updated 7 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- High performance compiled language with simplicity and safety.☆49Updated last year
- Martin-Löf type theory + W-types implemented in C (WIP)☆18Updated last month