smlnj / legacy
This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
☆34Updated this week
Related projects ⓘ
Alternatives and complementary repositories for legacy
- Standard ML of New Jersey☆184Updated 2 weeks ago
- Useful things for Standard ML☆58Updated last month
- A custom parser/auto-formatter for Standard ML☆68Updated 10 months ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- SML reference interpreter☆112Updated last year
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- The Caml Light implementation of the Caml language☆61Updated last year
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆83Updated 3 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- Experiment on how to bootstrap the OCaml compiler☆98Updated 2 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- MLWorks is a Standard ML compiler and development environment.☆179Updated 6 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆34Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆46Updated last week
- deployment for smlhelp page☆35Updated last year
- A Verified Compiler for Gallina, Written in Gallina☆136Updated 2 months ago
- An implementation of R7RS in Racket☆97Updated 3 weeks ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆154Updated 3 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆193Updated 2 months ago
- A basic library of algorithms and data structures (a la NJlib)☆73Updated last year
- An Efficient LALR(1) Parser Generator for Scheme☆50Updated 3 years ago
- The Twelf Programming Language☆108Updated 3 weeks ago
- The Definition of Standard ML, Revised (1997)☆113Updated 7 years ago
- ☆77Updated 5 years ago
- SKI combinators☆50Updated 7 years ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- The Definition of Standard ML (1990)☆122Updated 10 years ago