Saityi / a-tour-of-standard-mlLinks
A Tour of Standard ML (in the style of A Tour of Go)
☆59Updated 4 years ago
Alternatives and similar repositories for a-tour-of-standard-ml
Users that are interested in a-tour-of-standard-ml are comparing it to the libraries listed below
Sorting:
- Useful things for Standard ML☆71Updated last year
- Smackage Package Manager for Standard ML☆124Updated 3 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- Hope programming language interpreter☆42Updated 7 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆62Updated 7 months ago
- SML reference interpreter☆120Updated 2 months ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 4 years ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- N2O: Standard ML Application Server☆18Updated 4 years ago
- SKI combinators☆56Updated 8 years ago
- ☆137Updated 3 years ago
- A port of sweet expressions to Racket☆49Updated 2 years ago
- The MLtonLibrary repository☆35Updated 2 years ago
- ☆78Updated 6 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A list of awesome libraries for BQN.☆32Updated 3 months ago
- Library and Toolkit for Standard ML☆145Updated 3 years ago
- Nanopass for OCaml☆148Updated 8 years ago
- Boolean Constraint Solving in Prolog☆48Updated last year
- An Efficient LALR(1) Parser Generator for Scheme☆54Updated 3 weeks ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Updated 11 years ago
- My Advent of Code solutions☆23Updated last week
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 11 years ago
- SML On Stilts☆37Updated 11 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Updated 5 years ago