evincarofautumn / kittenLinks
A statically typed concatenative systems programming language.
☆1,132Updated 2 years ago
Alternatives and similar repositories for kitten
Users that are interested in kitten are comparing it to the libraries listed below
Sorting:
- Factor programming language☆1,749Updated last week
- Compiler for the Mirth programming language.☆475Updated 3 months ago
- A programming language with static memory management based on λ-calculus☆1,005Updated last week
- Functional programming with fewer indirections☆767Updated 5 years ago
- The Pyret language.☆1,108Updated last week
- The Mercury logic programming system.☆964Updated this week
- Programming Languages Zoo☆1,521Updated last year
- A functional programming language based on algebraic effect handlers☆887Updated 2 months ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,184Updated last year
- The Lux Programming Language☆1,717Updated this week
- The Felix Programming Language☆816Updated 11 months ago
- Functional language with intensional polymorphism and first-class staging.☆939Updated 3 months ago
- The MLton repository☆1,018Updated 2 months ago
- High-performance, Reliable, and Parallel APL☆764Updated last week
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆855Updated 6 months ago
- lamdu - towards the next generation IDE☆1,872Updated 2 weeks ago
- Implementations of various type systems in OCaml.☆1,587Updated 10 years ago
- An ML-like functional programming language☆338Updated 3 years ago
- Gerbil Scheme☆1,211Updated last week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,048Updated 3 months ago
- L.B. Stanza Programming Language☆215Updated 2 years ago
- Cat - a statically typed functional stack-based programming language☆270Updated 7 years ago
- TopShell - a purely functional, reactive scripting language☆477Updated 4 years ago
- CakeML: A Verified Implementation of ML☆1,077Updated this week
- An open-source interpreter for the K5 programming language.☆608Updated last year
- J engine source mirror☆703Updated this week
- A small extensible programming language designed for concise expression with little code.☆1,077Updated last year
- A dependently typed programming language, a successor to Idris☆900Updated 5 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆622Updated 4 years ago
- The Ur/Web programming language☆827Updated last year