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:
- koneko - a concatenative not-quite-lisp for kittens☆25Updated 10 months ago
- Source code error pretty printing☆49Updated 7 months ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- 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.☆98Updated 2 years ago
- Like APL, but with emojis☆15Updated 3 years ago
- IDE support for the functional logic programming language Curry☆31Updated 2 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆33Updated 9 months ago
- Statically typed, high-level functional programming language.☆17Updated 3 years ago
- Roc Build Tool☆49Updated 2 years ago
- A functional programming language with shell scripting capabilities☆117Updated 3 weeks ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- The Nox programming language☆30Updated last year
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- A declarative concatenative programming language☆164Updated 8 months ago
- Kempe is a compiled stack-based language☆58Updated 9 months ago
- small programming language. pls be gentle.☆39Updated this week
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Ordo: A minimalist language with row polymorphism☆82Updated 3 months ago
- Deno.serve for Gleam ✨☆16Updated last year
- A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…☆22Updated 2 weeks ago
- Package manager for Idris☆37Updated 2 years ago
- A TOML parser for Idris 2☆17Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- ☆26Updated last year
- Crochet: A tool for creating and remixing interactive experiences, safely.☆126Updated last year
- a functional programming language with algebraic effects and handlers☆82Updated 4 months ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆15Updated 3 years ago