mrakgr / The-Spiral-LanguageLinks
Functional language with intensional polymorphism and first-class staging.
☆935Updated last 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
Sorting:
- A programming language with static memory management based on λ-calculus☆1,003Updated this week
- A statically typed concatenative systems programming language.☆1,121Updated 2 years ago
- Prototype smart text editor☆1,064Updated 2 months ago
- TopShell - a purely functional, reactive scripting language☆479Updated 3 years ago
- The Lux Programming Language☆1,703Updated last week
- Compiler for the Mirth programming language.☆466Updated last week
- Implementations of various type systems in OCaml.☆1,578Updated 9 years ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,173Updated last year
- Functional programming with fewer indirections☆765Updated 4 years ago
- A statically typed lisp, without a GC, for real-time applications.☆5,665Updated 6 months ago
- Haskell Research Compiler☆819Updated 2 years ago
- The Mercury logic programming system.☆947Updated this week
- You might not need your garbage collector☆543Updated 5 years ago
- Functional programming inspired by ML for the Erlang VM☆1,448Updated 4 years ago
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,653Updated 6 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,042Updated 2 years ago
- Koka language compiler and interpreter☆3,507Updated this week
- High-performance, Reliable, and Parallel APL☆745Updated this week
- Programming Languages Zoo☆1,497Updated 11 months ago
- A parser generator for visibly pushdown languages.☆792Updated 2 months ago
- A data-parallel functional programming language☆2,527Updated this week
- Lisp-flavoured C☆1,038Updated last month
- Factor programming language☆1,712Updated this week
- A safe, easy systems language☆2,057Updated this week
- A self-hosting Scheme to WebAssembly compiler☆1,269Updated 3 years ago
- A Dependently Typed Functional Programming Language☆3,456Updated 3 months ago
- A small extensible programming language designed for concise expression with little code.☆1,073Updated 8 months ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,622Updated 2 years ago
- A functional programming language based on algebraic effect handlers☆872Updated 8 months ago
- Cloe programming language☆411Updated 6 months ago