mrakgr / The-Spiral-Language
Functional language with intensional polymorphism and first-class staging.
☆930Updated this week
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 functional programming language with static memory management☆841Updated this week
- A statically typed concatenative systems programming language.☆1,109Updated last year
- TopShell - a purely functional, reactive scripting language☆480Updated 3 years ago
- Implementations of various type systems in OCaml.☆1,561Updated 9 years ago
- Prototype smart text editor☆1,056Updated 8 months ago
- Compiler for the Mirth programming language.☆458Updated this week
- High-performance, Reliable, and Parallel APL☆731Updated this week
- The Mercury logic programming system.☆930Updated this week
- Programming Languages Zoo☆1,471Updated 8 months ago
- Functional programming with fewer indirections☆760Updated 4 years ago
- The Lux Programming Language☆1,690Updated this week
- A parser generator for visibly pushdown languages.☆756Updated last month
- WIP implementation of a Haskell-like Lisp in Racket☆1,169Updated 10 months ago
- A data-parallel functional programming language☆2,464Updated this week
- Haskell Research Compiler☆819Updated 2 years ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,600Updated 2 years ago
- A functional programming language based on algebraic effect handlers☆867Updated 5 months ago
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,395Updated 4 months ago
- Multicore OCaml☆762Updated 2 years ago
- A self-hosting Scheme to WebAssembly compiler☆1,268Updated 3 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,034Updated last year
- Koka language compiler and interpreter☆3,423Updated this week
- Kit: a magical, high performance programming language, designed for game development.☆1,023Updated 3 years ago
- The MLton repository☆992Updated last month
- You might not need your garbage collector☆539Updated 4 years ago
- lamdu - towards the next generation IDE☆1,860Updated last month
- Modern low-level programming language☆776Updated 9 months ago
- A small extensible programming language designed for concise expression with little code.☆1,065Updated 5 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,106Updated last year
- The Ur/Web programming language☆806Updated 8 months ago