agraef / pure-langLinks
Pure programming language
☆331Updated 3 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:
- Cat - a statically typed functional stack-based programming language☆281Updated 8 years ago
- A Compiler for the Popr Language☆257Updated 5 years ago
- Standard ML Compiler and Toolkit☆297Updated 2 weeks ago
- Plasma Programming Language☆167Updated 9 months ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆361Updated 2 years ago
- Compiler for the Mirth programming language.☆484Updated last month
- ATS2: Unleashing the Potentials of Types and Templates☆383Updated 7 months ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆282Updated 2 years ago
- Embeddable Lambda Prolog Interpreter☆337Updated this week
- stalin brutally optimizing Scheme compiler, with Debianization patches☆399Updated 5 years ago
- L.B. Stanza Programming Language☆215Updated 2 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆208Updated 5 years ago
- Bootstrapping ATS3☆242Updated this week
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆222Updated 3 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆326Updated 7 months ago
- A programming language where the syntax and semantics are mutable at runtime☆169Updated 13 years ago
- nanopass compiler framework for Racket☆197Updated 2 years ago
- Poly/ML☆521Updated this week
- The NIAL language environment☆114Updated 2 years ago
- The Egel Programming Language☆83Updated last month
- The Om programming language.☆174Updated last year
- Shen language kernel sources for porters☆382Updated last week
- A declarative concatenative programming language☆170Updated 4 months ago
- 1ML prototype interpreter☆290Updated 5 years ago
- Pocket sized programs☆64Updated last month
- Quick C-- compiler (no longer maintained)☆164Updated 12 years ago
- The Online Interpreter for Standard ML, written in TypeScript.☆178Updated 2 years ago
- The MLton repository☆1,051Updated 3 weeks ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆206Updated last year