smlhelp / bookLinks
deployment for smlhelp page
☆42Updated 6 months ago
Alternatives and similar repositories for book
Users that are interested in book are comparing it to the libraries listed below
Sorting:
- A custom parser/auto-formatter for Standard ML☆87Updated this week
- Useful things for Standard ML☆71Updated last year
- Generic package manager for Standard ML libraries and programs☆169Updated 2 weeks ago
- A collection of programming languages and type systems.☆33Updated 7 months ago
- Standard ML of New Jersey☆230Updated last week
- SML reference interpreter☆121Updated 2 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆64Updated 7 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- an implementation of stuck macros☆149Updated last week
- A free (as in freedom) OCaml textbook☆143Updated 8 months ago
- The Twelf Programming Language☆147Updated 3 weeks ago
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- SKI combinators☆56Updated 8 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated last week
- The first ever roguelike written in the OCaml type system☆93Updated 9 months ago
- Programming with pure lambda calculus☆136Updated 3 weeks ago
- A pure type system implemented in OCaml☆78Updated 5 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆63Updated 4 years ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆44Updated 2 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆40Updated 2 months ago
- A language server for Standard ML in Rust.☆235Updated 3 weeks ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆52Updated last month
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- Web server infrastructure for Standard ML☆15Updated 2 weeks ago
- The adventures of a Haskell compiler☆236Updated 2 months ago
- bollu learns implementation of dependent typing☆34Updated 2 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- Smackage Package Manager for Standard ML☆124Updated 3 years ago