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 this week
- The Mercury logic programming system.☆964Updated last week
- Compiler for the Mirth programming language.☆475Updated 3 months ago
- A programming language with static memory management based on λ-calculus☆1,005Updated this week
- Functional programming with fewer indirections☆767Updated 5 years ago
- The Pyret language.☆1,107Updated last week
- WIP implementation of a Haskell-like Lisp in Racket☆1,183Updated last year
- Programming Languages Zoo☆1,518Updated last year
- The MLton repository☆1,018Updated 2 months ago
- A functional programming language based on algebraic effect handlers☆884Updated 2 months ago
- High-performance, Reliable, and Parallel APL☆764Updated last week
- Functional language with intensional polymorphism and first-class staging.☆939Updated 3 months ago
- The Felix Programming Language☆816Updated 11 months ago
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆854Updated 6 months ago
- lamdu - towards the next generation IDE☆1,871Updated last week
- An open-source interpreter for the K5 programming language.☆608Updated last year
- The Lux Programming Language☆1,717Updated this week
- Implementations of various type systems in OCaml.☆1,587Updated 10 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,048Updated 2 months ago
- CakeML: A Verified Implementation of ML☆1,077Updated this week
- The Ur/Web programming language☆827Updated last year
- J engine source mirror☆703Updated this week
- A dependently typed programming language, a successor to Idris☆900Updated 5 years ago
- L.B. Stanza Programming Language☆215Updated 2 years ago
- Gerbil Scheme☆1,211Updated this week
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,417Updated 10 months ago
- Cat - a statically typed functional stack-based programming language☆270Updated 7 years ago
- A modern syntax for the λ-calculus.☆413Updated 9 years ago
- Lisp-flavoured C☆1,040Updated 4 months ago
- Poly/ML☆505Updated 3 weeks ago