agraef / pure-langLinks
Pure programming language
☆323Updated 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:
- A Compiler for the Popr Language☆248Updated 4 years ago
- Cat - a statically typed functional stack-based programming language☆262Updated 7 years ago
- Compiler for the Mirth programming language.☆471Updated last month
- Quick C-- compiler (no longer maintained)☆159Updated 11 years ago
- Bootstrapping ATS3☆221Updated last week
- Standard ML Compiler and Toolkit☆286Updated 4 months ago
- APL Compiler targeting a typed array intermediate language☆214Updated 9 months ago
- L.B. Stanza Programming Language☆215Updated 2 years ago
- Plasma Programming Language☆166Updated 2 months ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆197Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆364Updated 2 weeks ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆281Updated 2 years ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆392Updated 4 years ago
- nanopass compiler framework for Racket☆190Updated last year
- Embeddable Lambda Prolog Interpreter☆312Updated 3 weeks ago
- Poly/ML☆504Updated 2 weeks ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- The Om programming language.☆173Updated 8 months ago
- Functional programming with fewer indirections☆765Updated 4 years ago
- 1ML prototype interpreter☆282Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆618Updated last month
- A declarative concatenative programming language☆164Updated 8 months ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆455Updated last week
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆349Updated last year
- Myrddin Compiler☆393Updated 3 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Shen language kernel sources for porters☆376Updated 10 months ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆363Updated 4 years ago
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆851Updated 3 months ago
- An ML-like functional programming language☆334Updated 3 years ago