HiiGHoVuTi / CatrinaLinks
a categorical programming language (WIP)
☆15Updated 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 toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆101Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- IDE support for the functional logic programming language Curry☆32Updated 4 months ago
- An esoteric programming language, using box-drawing characters☆29Updated 7 months ago
- Source code error pretty printing☆49Updated 9 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆35Updated last month
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- Deno.serve for Gleam ✨☆16Updated last year
- Statically typed, high-level functional programming language.☆17Updated 4 years ago
- A functional programming language with shell scripting capabilities☆122Updated 2 months ago
- Roc Build Tool☆49Updated 2 years ago
- The Nox programming language☆30Updated 2 years ago
- Visual functional programming language☆23Updated last year
- A declarative concatenative programming language☆166Updated last week
- Like APL, but with emojis☆15Updated 3 years ago
- Cara language compiler☆45Updated 4 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆68Updated last year
- A TOML parser for Idris 2☆17Updated last year
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- small programming language. pls be gentle.☆39Updated last week
- A template for you to implement Hazelnut yourself☆22Updated 2 months ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Updated 4 years ago
- Toy programming language☆20Updated last year
- Unison Share's backend server☆26Updated last week
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- The Yatima Standard Library☆20Updated last year
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago