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
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆65Updated 8 months ago
- SML reference interpreter☆121Updated 3 months ago
- Hope programming language interpreter☆42Updated 7 months ago
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 4 years ago
- SKI combinators☆56Updated 8 years ago
- MLWorks is a Standard ML compiler and development environment.☆180Updated 7 years ago
- Algebraic structures for untyped Racket☆78Updated last year
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Updated 6 years ago
- Bibliography of Scheme-related Research☆15Updated 6 years ago
- ☆78Updated 6 years ago
- Boolean Constraint Solving in Prolog☆48Updated last year
- A port of sweet expressions to Racket☆49Updated 2 years ago
- ☆22Updated 5 years ago
- The MLtonLibrary repository☆35Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- A purely functional dynamically typed programming language.☆56Updated 5 years ago
- Shen/Scheme implementation☆130Updated last week
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- Library and Toolkit for Standard ML☆145Updated 3 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆64Updated 4 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- ☆138Updated 3 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Updated 5 years ago
- ☆20Updated 2 months ago
- For supporting template-based programming☆23Updated 5 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Updated 3 years ago
- An auto-formatter for the Standard ML language☆23Updated 5 years ago