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:
- Fir programming language☆73Updated this week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆68Updated last year
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆78Updated last week
- The interpreter for Rhovas, a programming language for API design and enforcement.☆35Updated last month
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- WIP stack language that uses regex for control flow☆42Updated last year
- Programming with pure lambda calculus☆121Updated 3 weeks ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- A garden of small programming language implementations 🪴☆287Updated this week
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆35Updated this week
- A Language with Dependent Data and Codata Types☆118Updated this week
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Updated 3 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated last week
- Building a compiler to WASM step-by-step☆15Updated 6 months ago
- A toy dependent typed language.☆32Updated this week
- Demo for dependent types + runtime code generation☆71Updated 7 months ago
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- A functional programming language with shell scripting capabilities☆121Updated 2 months ago
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆29Updated 2 years ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- A declarative concatenative programming language☆166Updated 11 months ago
- A bidirectional type checker☆64Updated 8 years ago
- bollu learns implementation of dependent typing☆32Updated 2 years ago
- strictly is a declarative programming language for interactive web-components☆10Updated last year
- Source code error pretty printing☆49Updated 9 months ago
- ☆38Updated 3 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆73Updated 3 years ago
- A simple library for reporting compiler/interpreter errors☆266Updated last year