ML Basis for Poly/ML

Standard ML library for faster parsing of Reals (floats/doubles)

A community driven list of useful Emacs packages, libraries and other items.

Install MLton in GitHub Actions.

Standard ML Infrastructure for writing LSP servers

Scripts to compile and run Standard ML programs defined in .mlb files.

Emacs minor mode for running smlfmt

Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey

A major-mode for editing AsciiDoc files in Emacs

MLB support for CM (the SML/NJ Compilation and Library Manager)

An auto-formatter for the Standard ML language

If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.

Standard ML (SML) grammar for tree-sitter

Forging Standard ML (SML) in emacs

This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

Standard ML of New Jersey

Scraper for online SML libraries

A language server for Standard ML in Rust.

A stepping debugger for Standard ML (SML)

Standard ML Grammar for Tree-sitter

Useful things for Standard ML

LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.research.gov/research-web/content/aboutpsm Feedback syee@nsf.gov

Experiments for extanglement detection

SML# compiler

The Standard ML compiler that produces Lua/JavaScript

Web server infrastructure for Standard ML

A statically-typed programming language based on "F-ing modules"

An experimental language server for SomewhatML

A compiler for Standard ML, somewhat

A custom parser/auto-formatter for Standard ML