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)☆124Updated last month
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 6 months ago
- siko☆14Updated last year
- A programmable virtual CPU written in untyped lambda calculus☆55Updated 2 years ago
- Glide programming language☆20Updated 2 years ago
- moved to https://codeberg.org/core-lang/core☆52Updated 5 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆74Updated 3 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Scribe Reference Compiler☆22Updated 2 months ago
- c-prepocessor lisp☆26Updated last year
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆12Updated 4 months ago
- The Callisto compiler of the 13th month, and other language extras☆63Updated this week
- The interpreter for Rhovas, a programming language for API design and enforcement.☆33Updated 9 months ago
- A small unix-like kernel and OS components based around the Shard programming language.☆13Updated 2 weeks ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- A small toy language with syntax heavily inspired by Lua that transpiles to JS.☆18Updated 2 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- The Egel Programming Language☆84Updated last month
- A mini language used for the Rabs build system and within Wrapl.☆31Updated this week
- The Evi programming language☆16Updated 3 years ago
- An operating system🧑💻 written using C and Sage☆44Updated last year
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- A toy programming language written in Lua☆12Updated 2 years ago
- The most minimal C you can do real work in☆16Updated 3 years ago
- A tiny lazy objective functional language☆17Updated 10 months ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated this week
- Yet another language oriented on functional programming.☆9Updated 7 months ago
- ☆59Updated last month
- BrainFuck Compiler Challenge☆30Updated 4 years ago