This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
☆45Aug 14, 2026Updated this week
Alternatives and similar repositories for legacy
Users that are interested in legacy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Standard ML of New Jersey☆253Updated this week
- Standard ML Infrastructure for writing LSP servers☆15Jun 6, 2026Updated 2 months ago
- A custom parser/auto-formatter for Standard ML☆93May 10, 2026Updated 3 months ago
- Lexer and parser generators for Standard ML, OCaml, and Haskell.☆38Aug 19, 2022Updated 3 years ago
- Web server infrastructure for Standard ML☆16Feb 14, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Standard ML (SML) grammar for tree-sitter☆15May 22, 2025Updated last year
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 8 years ago
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- deployment for smlhelp page☆47Jun 14, 2025Updated last year
- Web site for standardml.org.☆38Oct 17, 2023Updated 2 years ago
- The MLtonLibrary repository☆38Apr 4, 2023Updated 3 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Jan 15, 2018Updated 8 years ago
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- ☆25May 16, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Standard ML Parser Combinator Library☆18Jan 9, 2026Updated 7 months ago
- SML reference interpreter☆126Oct 17, 2025Updated 10 months ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆14Jan 5, 2024Updated 2 years ago
- Book lucid interpreter written in python☆25Jul 8, 2019Updated 7 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆35May 18, 2023Updated 3 years ago
- A command-line parser for Standard ML☆22Dec 29, 2025Updated 7 months ago
- A Verified Compiler for Gallina, Written in Gallina☆176Jul 22, 2026Updated 3 weeks ago
- BinaryView Plugin for Microcorruption CTF memory dumps☆13Jul 16, 2019Updated 7 years ago
- Year project - Pascal interpreter written in Java using Truffle API☆10Feb 5, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A (in-development) Coq mechanization of WebAssembly specification.☆21Jul 11, 2026Updated last month
- Random Plotter scripts for HP7440A☆14May 23, 2019Updated 7 years ago
- Native inlining constant folding register allocating Forth compiler☆19Jan 19, 2016Updated 10 years ago
- TimeFlies: Push-Pull Signal-Function Functional Reactive Programming (Master's Thesis)☆18Aug 20, 2013Updated 12 years ago
- Standard ML Grammar for Tree-sitter☆25Jan 14, 2022Updated 4 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆59Aug 11, 2016Updated 10 years ago
- A stepping debugger for Standard ML (SML)☆31Feb 20, 2024Updated 2 years ago
- The original Edinburgh LCF.☆34Oct 21, 2016Updated 9 years ago
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Repository and Wiki for enriching the Standard ML Basis Library☆64Nov 30, 2021Updated 4 years ago
- The MLton repository☆1,091Feb 27, 2026Updated 5 months ago
- Extending Jupyter-Scheduler to use Argo-Workflows as a backend.☆10Jun 26, 2024Updated 2 years ago
- An OS X kext written partly in the Rust programming language.☆21Aug 2, 2015Updated 11 years ago
- 岳昕：致北大师生与北大外国语学院的一封公开信☆13Apr 23, 2018Updated 8 years ago
- SML, The Living Language (aka, Successor ML)☆72Apr 4, 2016Updated 10 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago