A general purpose statically-typed concatenative programming language.
☆56Apr 28, 2023Updated 3 years ago
Alternatives and similar repositories for boba
Users that are interested in boba are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆19Oct 10, 2022Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 6 years ago
- Compiler that has been integrated into Okami now☆24Jul 15, 2022Updated 3 years ago
- A declarative concatenative programming language☆173Feb 20, 2026Updated 2 months ago
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Compiler for the Popr Language☆257Jan 7, 2021Updated 5 years ago
- A human readable quasi-concatenative programming language☆260Feb 4, 2025Updated last year
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Apr 28, 2024Updated 2 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆71Jan 2, 2011Updated 15 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆25Mar 27, 2015Updated 11 years ago
- Interpreters and compilers for esoteric programming languages, from stack-based to modern register-based systems☆12Sep 18, 2025Updated 7 months ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆16Feb 25, 2026Updated 2 months ago
- Manfred von Thun's Programming Language Joy☆107Mar 31, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Port of CollapseOS to uxn Tal☆74Jun 7, 2022Updated 3 years ago
- A statically typed concatenative systems programming language.☆1,161Apr 10, 2023Updated 3 years ago
- ☆29Nov 14, 2025Updated 5 months ago
- ☆14Jan 31, 2021Updated 5 years ago
- A Concatenative Programming Language inspired by Cat☆22Nov 20, 2020Updated 5 years ago
- Pocket sized programs☆64Dec 6, 2025Updated 5 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated 3 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆431Apr 30, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An esoteric programming language build around macros☆42Feb 11, 2021Updated 5 years ago
- A small but practical concatenative programming language and shell☆337Nov 11, 2024Updated last year
- RPL++ - Stack-based Reverse polish notation Programming Language☆17Dec 3, 2021Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- A categorical programming language with effects☆305Mar 6, 2023Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 8 months ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- A visual programming environment.☆104Aug 31, 2019Updated 6 years ago
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- An APL-like programming language☆1,052Apr 30, 2026Updated last week
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆44Dec 31, 2022Updated 3 years ago
- A stack-based language implemented in RISC-V assembly☆17Apr 4, 2024Updated 2 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆59Jul 20, 2025Updated 9 months ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 5 months ago