i4ki / awesome-sml
Useful things for Standard ML
☆56Updated 9 months ago
Related projects: ⓘ
- A custom parser/auto-formatter for Standard ML☆67Updated 9 months ago
- Smackage Package Manager for Standard ML☆121Updated 2 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- ☆76Updated 5 years ago
- A statically-typed programming language based on "F-ing modules"☆79Updated 4 years ago
- ☆40Updated 4 months ago
- SML reference interpreter☆110Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆49Updated 4 months ago
- This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆28Updated this week
- ATS2: Unleashing the Potentials of Types and Templates☆40Updated 4 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆151Updated 2 months ago
- The Caml Light implementation of the Caml language☆59Updated last year
- ☆84Updated 3 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 2 years ago
- Standard ML of New Jersey☆177Updated this week
- company-mode completion back-end for MLton/Standard ML☆14Updated 3 years ago
- A port of sweet expressions to Racket☆47Updated last year
- An embeddable flow-oriented language.☆58Updated last week
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 2 years ago
- an implementation of stuck macros☆130Updated 3 weeks ago
- SKI combinators☆50Updated 7 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆145Updated 4 months ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- A Tour of Standard ML (in the style of A Tour of Go)☆47Updated 3 years ago
- Nanopass for OCaml☆142Updated 6 years ago
- ☆133Updated 2 years ago
- Parallel ML compiler☆71Updated 4 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆191Updated last month