HiiGHoVuTi / CatrinaView external linksLinks
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 6 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 11 months ago
- Classical Logic in Haskell☆24Nov 19, 2025Updated 2 months ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated this week
- koneko - a concatenative not-quite-lisp for kittens☆25Aug 30, 2024Updated last year
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last week
- A strictly-typed programming language☆29Sep 14, 2020Updated 5 years ago
- The functional programming language for scalable development☆35Jan 5, 2025Updated last year
- Byeol Programming language.☆10Feb 8, 2026Updated last week
- multi platform game engine☆11Sep 1, 2025Updated 5 months ago
- 🧪 An imperative, dynamically-typed, interpreted, general-purpose programming language☆11Nov 23, 2025Updated 2 months ago
- "Infinite" Pong with Two Balls in Jai Compiled to Wasm64☆12Dec 12, 2024Updated last year
- POWER-KI programming language for Intelligent Applications (IA)☆16Updated this week
- A new generic object oriented programming language.☆10Jan 6, 2026Updated last month
- 🤔自制一种小型的中文脚本语言.☆15Aug 29, 2023Updated 2 years ago
- Swift implementation of multihash☆15May 9, 2023Updated 2 years ago
- 3D game engine based on BlendELF☆10Aug 15, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 3 years ago
- A Gleam library for interacting with the Discord API☆39Feb 11, 2023Updated 3 years ago
- 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 3 weeks ago
- A Gleam terminal UI library☆10Dec 8, 2024Updated last year
- A toy programming language written in Lua☆14Dec 28, 2022Updated 3 years ago
- ActivityWatch bash and zsh watcher.☆10Dec 2, 2022Updated 3 years ago
- Persisted versions of useState and useReducer.☆12Mar 4, 2023Updated 2 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- ☆11Aug 16, 2015Updated 10 years ago
- Patch console methods to intercept output☆18Jul 27, 2022Updated 3 years ago
- A tool for executable specifications written in modern, portable C++. Offers a comprehensive extendable DSL (Domain Specific Language) fo…☆12Jan 14, 2026Updated last month
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Insert Elisp result and princ contents as comment in scratch buffer.☆13Dec 30, 2025Updated last month
- mark_v_1099_revision_4_source☆14Jun 28, 2020Updated 5 years ago
- the peachili( Peach + Chili) programming language☆11Feb 2, 2021Updated 5 years ago
- 简洁优雅的本地播放软件☆24Jan 3, 2026Updated last month
- The C Basque compiler.☆11Sep 27, 2022Updated 3 years ago
- Zsh plugin to record command history with more context☆11Feb 15, 2024Updated 2 years ago
- A programming language similar to human natural language expression☆10Jul 1, 2020Updated 5 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago