mlatu-lang / mlatu
A declarative concatenative programming language
☆164Updated 4 months ago
Alternatives and similar repositories for mlatu:
Users that are interested in mlatu are comparing it to the libraries listed below
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- A fast functional language based on two level type theory☆389Updated 2 years ago
- A human readable quasi-concatenative programming language☆249Updated last month
- WIP stack language that uses regex for control flow☆42Updated last year
- Dependent type checker using normalisation by evaluation☆257Updated 6 months ago
- Bootstrap compiler for Firefly☆52Updated this week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 3 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Bootstrapping ATS3☆209Updated 3 weeks ago
- The Makam Metalanguage☆198Updated 2 years ago
- A garden of small programming language implementations 🪴☆215Updated this week
- A Compiler for the Popr Language☆246Updated 4 years ago
- A WIP little dependently-typed systems language☆41Updated 7 months ago
- Plasma Programming Language☆165Updated last month
- The Egel Programming Language☆84Updated 2 months ago
- A simple ML-like programming language with subtyping and full type inference.☆169Updated 3 months ago
- A functional programming language with shell scripting capabilities☆114Updated 2 months ago
- 1ML prototype interpreter☆279Updated 4 years ago
- An ML-like functional programming language☆333Updated 3 years ago
- Compiler for the Mirth programming language.☆460Updated last week
- Alternative algorithm for algebraic subtyping.☆156Updated 2 months ago
- A website for the #proglangdesign community on freenode☆108Updated 3 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 10 months ago
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- ☆52Updated 6 months ago
- Apple array system☆66Updated this week
- A Language with Dependent Data and Codata Types☆86Updated this week