Lambda-Mountain-Compiler-Backend / lambda-mountain
Compiler Backend for LSTS (Typed Macro Assembler)
☆28Updated this week
Alternatives and similar repositories for lambda-mountain:
Users that are interested in lambda-mountain are comparing it to the libraries listed below
- Official repository of the Jas assembler project - A assembler and library for generating code for x86☆45Updated 2 weeks ago
- siko☆14Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 3 months ago
- c-prepocessor lisp☆25Updated last year
- Statically typed general purpose programming language☆1Updated last year
- Large Scale Type Systems (programming language)☆122Updated 3 months ago
- A small toy language with syntax heavily inspired by Lua that transpiles to JS.☆18Updated 2 years ago
- Notes from the stream where I was checking out QBE☆19Updated last year
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 11 months ago
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆64Updated last month
- moved to https://codeberg.org/core-lang/core☆54Updated 3 months ago
- A toy programming language written in Lua☆12Updated 2 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A small unix-like kernel and OS components based around the Shard programming language.☆13Updated last week
- The Nox programming language☆29Updated last year
- The Callisto compiler of the 13th month, and other language extras☆60Updated last week
- Zang is a dynamically typed high level programming language.☆35Updated 2 years ago
- A functional programming language☆12Updated 8 months ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆36Updated this week
- 🖐 A dynamically- and strongly-typed, object-oriented programming language☆32Updated 2 years ago
- A static typed low-level compiled programming language inspired by Rust and C☆88Updated 3 months ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- Glide programming language☆20Updated 2 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- minimalistic symbolic term rewriting framework☆15Updated this week
- Martin-Löf type theory + W-types implemented in C (WIP)☆18Updated 2 weeks ago
- programming with second class references☆24Updated last month
- Just a simple proof-of-concept of using Raylib from LLVM IR directly☆37Updated 9 months ago
- Basically the C programming language peppered with my preferences☆12Updated 2 weeks ago
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆11Updated last month