A general purpose statically-typed concatenative programming language.
☆56Apr 28, 2023Updated 2 years ago
Alternatives and similar repositories for boba
Users that are interested in boba are comparing it to the libraries listed below
Sorting:
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 5 years ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆19Oct 10, 2022Updated 3 years ago
- A declarative concatenative programming language☆170Feb 20, 2026Updated 2 weeks ago
- Compiler that has been integrated into Okami now☆24Jul 15, 2022Updated 3 years ago
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Apr 28, 2024Updated last year
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆71Jan 2, 2011Updated 15 years ago
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 2 years ago
- A Compiler for the Popr Language☆257Jan 7, 2021Updated 5 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- ☆26Nov 14, 2025Updated 3 months ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆15Feb 25, 2026Updated last week
- Interpreters and compilers for esoteric programming languages, from stack-based to modern register-based systems☆12Sep 18, 2025Updated 5 months ago
- A human readable quasi-concatenative programming language☆260Feb 4, 2025Updated last year
- ☆14Jan 31, 2021Updated 5 years ago
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated last month
- A concatenative programming language inspired by Manfred von Thun's Joy☆25Mar 27, 2015Updated 10 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- Port of CollapseOS to uxn Tal☆73Jun 7, 2022Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆104Feb 24, 2026Updated last week
- Implementing a small functional language with a combinator based graph-reduction machine☆40Sep 10, 2025Updated 5 months ago
- Arrow is a fast (as or faster than C) general-purpose programming language. It does not employ a garbage collector and has minimal runtim…☆34Dec 6, 2016Updated 9 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 6 months ago
- A statically typed concatenative systems programming language.☆1,152Apr 10, 2023Updated 2 years ago
- My personal site.☆10Mar 1, 2026Updated last week
- ☆60Apr 25, 2024Updated last year
- an optimizing compiler for a lisp dialect targetting uxn☆34Jan 22, 2026Updated last month
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 3 months ago
- Cont is a compiled statically-typed object oriented concatenative programming language written in Python☆18Jan 26, 2026Updated last month
- A Concatenative Programming Language inspired by Cat☆22Nov 20, 2020Updated 5 years ago
- RPL++ - Stack-based Reverse polish notation Programming Language☆17Dec 3, 2021Updated 4 years ago
- A categorical programming language with effects☆300Mar 6, 2023Updated 3 years ago
- An esoteric programming language build around macros☆42Feb 11, 2021Updated 5 years ago
- A statically-typed, concatenative language for the Uxn VM with compiler-enforced stack safety.☆47May 30, 2025Updated 9 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆422Updated this week
- An esoteric RPN golfing language☆24Sep 3, 2022Updated 3 years ago
- Dotal Language☆47Nov 22, 2022Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Diphylleia 2022☆10Dec 27, 2024Updated last year