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:
- Smackage Package Manager for Standard ML☆124Updated 3 years ago
- Useful things for Standard ML☆72Updated last year
- SML reference interpreter☆119Updated last month
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 4 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- Hope programming language interpreter☆42Updated 6 months ago
- This package implements genereric syntax for working with monads in R6RS scheme.☆25Updated 7 years ago
- Boolean Constraint Solving in Prolog☆47Updated 11 months ago
- SML On Stilts☆37Updated 11 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆38Updated 5 years ago
- ☆19Updated last week
- A free (as in freedom) OCaml textbook☆142Updated 7 months ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Algebraic structures for untyped Racket☆78Updated last year
- An auto-formatter for the Standard ML language☆23Updated 5 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 3 years ago
- ☆137Updated 3 years ago
- Nanopass for OCaml☆149Updated 7 years ago
- Shen/Scheme implementation☆124Updated 6 months ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- The MLtonLibrary repository☆35Updated 2 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Updated 5 years ago
- ☆22Updated 5 years ago
- A purely functional dynamically typed programming language.☆56Updated 5 years ago
- Racket parser combinators inspired by parsack and megaparsec☆82Updated last year
- The Online Interpreter for Standard ML, written in TypeScript.☆178Updated 2 years ago