mlatu-lang / mlatu
A declarative concatenative programming language
☆159Updated 2 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
- A human readable quasi-concatenative programming language☆246Updated 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
- WIP stack language that uses regex for control flow☆41Updated last year
- Bootstrap compiler for Firefly☆51Updated this week
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- The Egel Programming Language☆80Updated last month
- A website for the #proglangdesign community on freenode☆109Updated last week
- Plasma Programming Language☆162Updated 2 months ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- An ML-like functional programming language☆328Updated 3 years ago
- A WIP little dependently-typed systems language☆37Updated 2 months ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- Staged compilation with dependent types☆161Updated this week
- A simple ML-like programming language with subtyping and full type inference.☆161Updated 5 months ago
- 1ML prototype interpreter☆270Updated 4 years ago
- ☆51Updated 2 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆65Updated 9 months ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- A garden of small programming language implementations 🪴☆177Updated this week
- The adventures of a Haskell compiler☆214Updated last month
- An insanely simple self-hosted functional programming language☆150Updated 5 years ago
- Cat - a statically typed functional stack-based programming language☆251Updated 6 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆52Updated 6 months ago
- An embeddable BQN virtual machine in rust. Stay tuned!☆34Updated 2 years ago
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆22Updated last month