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 programming language with static memory management based on λ-calculus☆996Updated last month
- TopShell - a purely functional, reactive scripting language☆479Updated 3 years ago
- Prototype smart text editor☆1,061Updated 3 weeks ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,171Updated last year
- A statically typed concatenative systems programming language.☆1,118Updated 2 years ago
- Koka language compiler and interpreter☆3,476Updated this week
- Implementations of various type systems in OCaml.☆1,575Updated 9 years ago
- Functional programming with fewer indirections☆759Updated 4 years ago
- A Proof-oriented Programming Language☆2,815Updated last week
- High-performance, Reliable, and Parallel APL☆736Updated last week
- Compiler for the Mirth programming language.☆462Updated this week
- Haskell Research Compiler☆819Updated 2 years ago
- The Lux Programming Language☆1,702Updated last week
- lamdu - towards the next generation IDE☆1,867Updated 3 weeks ago
- A functional programming language based on algebraic effect handlers☆871Updated 7 months ago
- Programming Languages Zoo☆1,488Updated 10 months ago
- A parser generator for visibly pushdown languages.☆791Updated 2 weeks ago
- A data-parallel functional programming language☆2,498Updated this week
- Multicore OCaml☆765Updated 2 years ago
- A multi-syntax functional programming language that compiles to WebAssembly.☆620Updated 3 years ago
- A self-hosting Scheme to WebAssembly compiler☆1,268Updated 3 years ago
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,403Updated 6 months ago
- A statically typed lisp, without a GC, for real-time applications.☆5,636Updated 4 months ago
- The Ur/Web programming language☆811Updated 10 months ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,966Updated 2 years ago
- The Mercury logic programming system.☆943Updated this week
- A library for incremental computations☆908Updated 4 months ago
- A modern proof language☆3,658Updated 2 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- Extremely modular text editor built in Haskell☆622Updated 4 years ago