a categorical programming language (WIP)
☆15Apr 16, 2022Updated 3 years ago
Alternatives and similar repositories for Catrina
Users that are interested in Catrina are comparing it to the libraries listed below
Sorting:
- A client for the SendGrid transactional email API☆15Aug 3, 2025Updated 7 months ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 2 months ago
- A type-safe, stack-based functional programming language☆16Feb 19, 2025Updated last year
- Classical Logic in Haskell☆24Nov 19, 2025Updated 3 months ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Feb 18, 2026Updated 2 weeks ago
- koneko - a concatenative not-quite-lisp for kittens☆25Aug 30, 2024Updated last year
- A simple programming language☆12Mar 5, 2023Updated 3 years ago
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last month
- The functional programming language for scalable development☆35Jan 5, 2025Updated last year
- A strictly-typed programming language☆29Sep 14, 2020Updated 5 years ago
- Byeol Programming language.☆10Mar 1, 2026Updated last week
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- 🧪 An imperative, dynamically-typed, interpreted, general-purpose programming language☆11Nov 23, 2025Updated 3 months ago
- POWER-KI programming language for Intelligent Applications (IA)☆16Feb 13, 2026Updated 3 weeks ago
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 3 years ago
- 3D game engine based on BlendELF☆10Aug 15, 2023Updated 2 years ago
- Swift implementation of multihash☆15May 9, 2023Updated 2 years ago
- A new generic object oriented programming language.☆10Jan 6, 2026Updated 2 months ago
- 🤔自制一种小型的中文脚本语言.☆15Aug 29, 2023Updated 2 years ago
- "Infinite" Pong with Two Balls in Jai Compiled to Wasm64☆12Dec 12, 2024Updated last year
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆46Jan 25, 2026Updated last month
- A Gleam terminal UI library☆10Dec 8, 2024Updated last year
- Persisted versions of useState and useReducer.☆12Mar 4, 2023Updated 3 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- Implementation of the Monkey programming language in Go. (Interpreter and Bytecode-Compiler + VM)☆12Sep 13, 2019Updated 6 years ago
- Patch console methods to intercept output☆18Jul 27, 2022Updated 3 years ago
- Streaming effects for PureScript☆16Nov 8, 2021Updated 4 years ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- Experimental Work in Progress Nintendo 64 emulator written in Rust☆10Feb 8, 2022Updated 4 years ago
- Documentation of the Circles UBI system☆10Jun 25, 2025Updated 8 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 4 years ago
- RSS and Atom parser. [copy of git://git.codemadness.org/sfeed master, 05/19/2019]☆10May 20, 2019Updated 6 years ago
- Carbon programming language spec.☆11Dec 19, 2019Updated 6 years ago
- Cross-Platform, Object-Oriented Programming language. With Kookaburra you can choose between the powerful CLI, or start coding with its' …☆11Oct 3, 2024Updated last year
- PKM + REPL + AI☆12Aug 2, 2024Updated last year
- mark_v_1099_revision_4_source☆14Jun 28, 2020Updated 5 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- A programming language.☆13Aug 4, 2025Updated 7 months ago