Lambda-Mountain-Compiler-Backend / lambda-mountainLinks
Compiler Backend for LSTS (Typed Macro Assembler)
☆32Updated 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: ML/C Hybrid Programming Language☆125Updated last month
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 8 months ago
- siko☆14Updated last year
- A programmable virtual CPU written in untyped lambda calculus☆55Updated 2 years ago
- Lovable memory-safe systems language with a pretty fast compiler☆12Updated this week
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆79Updated 5 months ago
- A tiny lazy objective functional language☆18Updated last year
- Scribe Reference Compiler☆22Updated last month
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- moved to https://codeberg.org/core-lang/core☆52Updated 7 months ago
- The Callisto compiler of the 13th month, and other language extras☆67Updated last week
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- The most minimal C you can do real work in☆16Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated last year
- Official repository of the Jas assembler project - A assembler and library for generating code for x86☆48Updated this week
- Martin-Löf type theory + W-types implemented in C (WIP)☆25Updated last month
- c-prepocessor lisp☆27Updated last year
- The Melon programming language☆37Updated 2 years ago
- A Python-based C compiler for x86-64, featuring full parsing, semantic analysis, IR generation, and assembly code emission.☆22Updated last week
- An implementation of interaction nets as a forth-like language.☆38Updated last month
- The Egel Programming Language☆84Updated 3 months ago
- Glide programming language☆20Updated 2 years ago
- The Evi programming language☆16Updated 3 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆77Updated last week
- The Functional Virtual Machine.☆14Updated 9 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆59Updated 3 months ago
- A small, statically typed, low-level programming language.☆22Updated last week
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆12Updated 6 months ago
- Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.☆67Updated last year