agraef / pure-lang
Pure programming language
☆315Updated 2 years ago
Related projects: ⓘ
- Standard ML Compiler and Toolkit☆274Updated this week
- Poly/ML☆483Updated last month
- Compiler for the Mirth programming language.☆445Updated last month
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated last week
- The MLton repository☆948Updated last month
- Bootstrapping ATS3☆194Updated this week
- L.B. Stanza Programming Language☆216Updated last year
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆186Updated 4 years ago
- Plasma Programming Language☆162Updated 2 weeks ago
- 1ML prototype interpreter☆271Updated 4 years ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆339Updated 7 months ago
- Cat - a statically typed functional stack-based programming language☆247Updated 6 years ago
- CakeML: A Verified Implementation of ML☆944Updated this week
- The implementation of microKanren, a featherweight relational programming language☆305Updated 10 years ago
- Embeddable Lambda Prolog Interpreter☆283Updated this week
- A Compiler for the Popr Language☆240Updated 3 years ago
- A rudimentary Racket implementation using RPython☆256Updated this week
- Quick C-- compiler (no longer maintained)☆148Updated 10 years ago
- The Om programming language.☆167Updated 3 years ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆377Updated 3 years ago
- nanopass compiler framework for Racket☆180Updated 7 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆191Updated last month
- Shen language kernel sources for porters☆352Updated last month
- A fast functional language based on two level type theory☆388Updated last year
- The Mercury logic programming system.☆900Updated this week
- APL Compiler targeting a typed array intermediate language☆211Updated 2 weeks ago
- Rhombus programming language☆332Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆588Updated 4 months ago
- Standard ML of New Jersey☆177Updated this week
- J engine source mirror☆658Updated this week