HiiGHoVuTi / Catrina
a categorical programming language (WIP)
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Catrina
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 8 months ago
- koneko - a concatenative not-quite-lisp for kittens☆21Updated 2 months ago
- Source code error pretty printing☆47Updated 10 months ago
- Bringing Scratch, the beloved graphical programming language for novices, to an inaccessible text-based medium!☆11Updated 2 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated last month
- Statically typed, high-level functional programming language.☆13Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆46Updated 5 months ago
- cod programming language☆24Updated 2 years ago
- ☆38Updated 2 years ago
- The Nox programming language☆29Updated last year
- Implementations of the Knight programming language☆23Updated 3 years ago
- (WIP) A programming language☆42Updated last year
- ☆27Updated 2 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆65Updated 9 months ago
- A dynamic general-purpose high-level functional-programming language with familiar syntax that compiles to native binaries.☆9Updated 2 years ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.☆102Updated last year
- Deno.serve for Gleam ✨☆15Updated 10 months ago
- A small toy language with syntax heavily inspired by Lua that transpiles to JS.☆18Updated last year
- A dependently typed programming language with direct style effects and linearity☆19Updated 3 months ago
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆25Updated last year
- A functional programming language with shell scripting capabilities☆91Updated 3 weeks ago
- IDE support for the functional logic language Curry☆27Updated 3 weeks ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆29Updated 2 weeks ago
- Like APL, but with emojis☆16Updated 2 years ago
- ☆27Updated last year
- ☆9Updated 3 years ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year