mlatu-lang / mlatu
A declarative concatenative programming language
☆159Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for mlatu
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- A fast functional language based on two level type theory☆388Updated last year
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- A human readable quasi-concatenative programming language☆245Updated last month
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 3 years ago
- A website for the #proglangdesign community on freenode☆109Updated 3 weeks ago
- The Egel Programming Language☆80Updated last month
- Bootstrap compiler for Firefly☆51Updated this week
- WIP stack language that uses regex for control flow☆41Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆220Updated 9 months ago
- Staged compilation with dependent types☆163Updated 2 weeks ago
- A Compiler for the Popr Language☆243Updated 3 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- Cat - a statically typed functional stack-based programming language☆254Updated 6 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆65Updated 9 months ago
- An ML-like functional programming language☆328Updated 3 years ago
- A garden of small programming language implementations 🪴☆177Updated last week
- A categorical programming language with effects☆267Updated last year
- A WIP little dependently-typed systems language☆37Updated 3 months ago
- The adventures of a Haskell compiler☆213Updated last week
- The Makam Metalanguage☆194Updated last year
- Pocket sized programs☆54Updated this week
- 1ML prototype interpreter☆270Updated 4 years ago
- Plasma Programming Language☆162Updated 2 months ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- A high-level programming language☆36Updated last month
- Embeddable Lambda Prolog Interpreter☆290Updated this week