evincarofautumn / kittenLinks
A statically typed concatenative systems programming language.
☆1,127Updated 2 years ago
Alternatives and similar repositories for kitten
Users that are interested in kitten are comparing it to the libraries listed below
Sorting:
- Compiler for the Mirth programming language.☆472Updated 2 months ago
- Factor programming language☆1,732Updated last week
- A programming language with static memory management based on λ-calculus☆1,002Updated last week
- Functional programming with fewer indirections☆765Updated 4 years ago
- The Mercury logic programming system.☆956Updated this week
- The Pyret language.☆1,095Updated last week
- WIP implementation of a Haskell-like Lisp in Racket☆1,177Updated last year
- High-performance, Reliable, and Parallel APL☆757Updated last week
- A functional programming language based on algebraic effect handlers☆883Updated 3 weeks ago
- Programming Languages Zoo☆1,509Updated last year
- The MLton repository☆1,019Updated last month
- The Lux Programming Language☆1,709Updated this week
- The Felix Programming Language☆816Updated 10 months ago
- An open-source interpreter for the K5 programming language.☆604Updated last year
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆854Updated 5 months ago
- Functional language with intensional polymorphism and first-class staging.☆938Updated last month
- J engine source mirror☆698Updated this week
- Extremely modular text editor built in Haskell☆619Updated 4 years ago
- lamdu - towards the next generation IDE☆1,872Updated 2 months ago
- Gerbil Scheme☆1,201Updated this week
- An ML-like functional programming language☆336Updated 3 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,043Updated last month
- Implementations of various type systems in OCaml.☆1,583Updated 9 years ago
- Myrddin Compiler☆393Updated 3 years ago
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- The Ur/Web programming language☆823Updated last year
- CakeML: A Verified Implementation of ML☆1,068Updated this week
- L.B. Stanza Programming Language☆215Updated 2 years ago
- A modern syntax for the λ-calculus.☆412Updated 9 years ago
- A small extensible programming language designed for concise expression with little code.☆1,077Updated 10 months ago