agraef / pure-langLinks
Pure programming language
☆322Updated 2 years ago
Alternatives and similar repositories for pure-lang
Users that are interested in pure-lang are comparing it to the libraries listed below
Sorting:
- Standard ML Compiler and Toolkit☆286Updated 3 months ago
- Compiler for the Mirth programming language.☆466Updated last week
- ATS2: Unleashing the Potentials of Types and Templates☆363Updated 5 months ago
- A Compiler for the Popr Language☆248Updated 4 years ago
- Quick C-- compiler (no longer maintained)☆158Updated 11 years ago
- APL Compiler targeting a typed array intermediate language☆213Updated 9 months ago
- The Om programming language.☆172Updated 7 months ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆343Updated last year
- Cat - a statically typed functional stack-based programming language☆262Updated 7 years ago
- Plasma Programming Language☆166Updated last month
- Poly/ML☆503Updated last week
- 1ML prototype interpreter☆282Updated 4 years ago
- Bootstrapping ATS3☆218Updated this week
- The MLton repository☆1,011Updated this week
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆197Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆312Updated this week
- stalin brutally optimizing Scheme compiler, with Debianization patches☆393Updated 4 years ago
- CakeML: A Verified Implementation of ML☆1,047Updated this week
- A programming language where the syntax and semantics are mutable at runtime☆166Updated 13 years ago
- Malfunctional Programming☆347Updated 6 months ago
- A fast functional language based on two level type theory☆390Updated 2 years ago
- APL is the greatest language ever☆69Updated 5 months ago
- Functional programming with fewer indirections☆765Updated 4 years ago
- Myrddin Compiler☆392Updated 3 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆617Updated 3 weeks ago
- An interpreter for a J-inspired language☆91Updated last year
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆451Updated this week
- Shen language kernel sources for porters☆376Updated 9 months ago
- A categorical programming language with effects☆278Updated 2 years ago