tiny-bow / ribbon-languageLinks
The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usability.
☆17Updated last week
Alternatives and similar repositories for ribbon-language
Users that are interested in ribbon-language are comparing it to the libraries listed below
Sorting:
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆69Updated last year
- Fir programming language☆80Updated this week
- The interpreter for Rhovas, a programming language for API design and enforcement.☆35Updated 2 months ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆80Updated this week
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Programming with pure lambda calculus☆127Updated 3 weeks ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 9 months ago
- A garden of small programming language implementations 🪴☆290Updated 2 weeks ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆38Updated 2 weeks ago
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆29Updated 2 years ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- Bootstrap compiler for Firefly☆55Updated 3 weeks ago
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- Statically typed, high-level functional programming language.☆17Updated 4 years ago
- A Language with Dependent Data and Codata Types☆124Updated this week
- The Knight Programming Language☆73Updated 4 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Learn to code with Wipple.☆38Updated this week
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆55Updated 4 months ago
- A declarative concatenative programming language☆166Updated last month
- A systems programming language with lexical effect handlers☆14Updated 7 months ago
- ☆38Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated this week
- A human readable quasi-concatenative programming language☆258Updated 8 months ago
- The Nox programming language☆30Updated 2 years ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆26Updated 2 weeks ago
- A functional programming language with shell scripting capabilities☆123Updated 3 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago