mrakgr / The-Spiral-Language
Functional language with intensional polymorphism and first-class staging.
☆930Updated 3 weeks ago
Alternatives and similar repositories for The-Spiral-Language:
Users that are interested in The-Spiral-Language are comparing it to the libraries listed below
- A statically typed concatenative systems programming language.☆1,115Updated last year
- A programming language with static memory management based on λ-calculus☆994Updated 2 weeks ago
- Prototype smart text editor☆1,060Updated last week
- WIP implementation of a Haskell-like Lisp in Racket☆1,169Updated 11 months ago
- High-performance, Reliable, and Parallel APL☆736Updated this week
- Programming Languages Zoo☆1,484Updated 9 months ago
- Compiler for the Mirth programming language.☆460Updated this week
- The Mercury logic programming system.☆942Updated this week
- TopShell - a purely functional, reactive scripting language☆479Updated 3 years ago
- Factor programming language☆1,697Updated last week
- A statically typed lisp, without a GC, for real-time applications.☆5,632Updated 4 months ago
- Haskell Research Compiler☆819Updated 2 years ago
- Multicore OCaml☆762Updated 2 years ago
- The MLton repository☆999Updated 3 weeks ago
- lamdu - towards the next generation IDE☆1,865Updated last week
- The Pyret language.☆1,084Updated last week
- A data-parallel functional programming language☆2,494Updated this week
- Functional programming with fewer indirections☆760Updated 4 years ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,255Updated 2 weeks ago
- The Lux Programming Language☆1,695Updated last week
- Implementations of various type systems in OCaml.☆1,574Updated 9 years ago
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,399Updated 5 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,017Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,037Updated last year
- a structured interaction engine 🗜️ ⚗️☆468Updated last year
- A functional programming language based on algebraic effect handlers☆869Updated 6 months ago
- You might not need your garbage collector☆540Updated 4 years ago
- Gerbil Scheme☆1,184Updated last week
- A Proof-oriented Programming Language☆2,814Updated this week
- Hazel, a live functional programming environment with typed holes☆909Updated this week