The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usability.
☆21Feb 28, 2026Updated this week
Alternatives and similar repositories for ribbon-language
Users that are interested in ribbon-language are comparing it to the libraries listed below
Sorting:
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated last week
- A small embeddable Lisp for the Zig ecosystem λ☆27Feb 8, 2026Updated 3 weeks ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- ☆10Nov 20, 2023Updated 2 years ago
- a ML-style programming language based on the calculus of constructions type theory☆24Jul 6, 2025Updated 7 months ago
- Improved type safety with tight TypeScript interop☆15Feb 17, 2025Updated last year
- ☆14Feb 26, 2024Updated 2 years ago
- bidirectional type checking algorithms for higher-ranked polymorphism☆19Mar 23, 2022Updated 3 years ago
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- BCL Compiled Language (BCL)☆27Dec 2, 2025Updated 3 months ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- The initial (legacy) compiler for the Gera programming language.☆24May 10, 2024Updated last year
- Haskell port of the Nanopass Compiler Framework☆23Dec 23, 2025Updated 2 months ago
- The Hash programming language compiler☆27Jan 12, 2026Updated last month
- Princess language repository☆26Updated this week
- Natural 🌿 effect system that fits TypeScript☆62Aug 22, 2024Updated last year
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Fir programming language☆93Updated this week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆41Updated this week
- Я - extremely composable embeddable programming language☆107Feb 22, 2026Updated last week
- My personal site.☆10Feb 23, 2026Updated last week
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆23Nov 11, 2025Updated 3 months ago
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- Bah compiler written in bah☆13Apr 25, 2025Updated 10 months ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- Sources of the EuroProofNet web site.☆13Updated this week
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- a programming language with channels and coroutines/threads☆10Jul 5, 2024Updated last year
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- Photonic Quantum Machine Learning Framework☆19Feb 18, 2026Updated 2 weeks ago
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- Official repository of the Jas assembler project - An assembler and library for generating code for x86☆47Feb 7, 2026Updated 3 weeks ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆44Dec 29, 2025Updated 2 months ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Feb 26, 2023Updated 3 years ago
- Repurpose object literals.☆14Jun 20, 2019Updated 6 years ago
- Magic Wormhole for Haskell☆11Apr 23, 2024Updated last year
- An experiment in implementing a code editor from scratch☆10Nov 28, 2024Updated last year