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 last week
Related projects ⓘ
Alternatives and complementary repositories for legacy
- Standard ML of New Jersey☆184Updated last week
- Useful things for Standard ML☆59Updated last month
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- The Caml Light implementation of the Caml language☆61Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆54Updated 6 months ago
- A program synthesizer for code in the How to Design Programs curriculum☆13Updated 10 months ago
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- SML reference interpreter☆112Updated last year
- Experiment on how to bootstrap the OCaml compiler☆98Updated 2 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆86Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- An implementation of R7RS in Racket☆98Updated last month
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- A basic library of algorithms and data structures (a la NJlib)☆74Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆154Updated 4 months ago
- An interpreter for a J-inspired language☆89Updated last year
- ☆40Updated 6 months ago
- deployment for smlhelp page☆36Updated last year
- The Twelf Programming Language☆109Updated this week
- Standard ML Parser Combinator Library☆15Updated 2 months ago
- A Verified Compiler for Gallina, Written in Gallina☆136Updated 3 months ago
- MLWorks is a Standard ML compiler and development environment.☆179Updated 6 years ago
- Parallel ML compiler☆71Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- GNU SETL☆27Updated last week
- Manfred von Thun's Programming Language Joy☆83Updated 2 weeks ago
- CMSC 430 Design and Implementation of Programming Languages☆47Updated this week