smlnj.org - Standard ML of New Jersey

home > domains > smlnj.org

Description: The Standard ML of New Jersey compiler and programming system

ml (522) functional programming (89) sml (64) sml/nj (1) standard ml (1)

Example domain paragraphs

Standard ML of New Jersey (abbreviated SML/NJ ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software.

With the 2021.1 release, we are dropping support for 32-bit systems. We will continue to create patch releases to the 110.99 version when there are critical bugs to fix. For the next release (2022.1), we plan to add support for the Arm64 architecture and hope to include support for 64-bit Windows on the AMD64 architecture.

The latest version ( 110.99.3 ) supports 64-bit executables on macOS and Linux .

Links to smlnj.org (12)

• sml-family.org Standard ML Family GitHub Project
• grammaticalframework.org GF - Grammatical Framework
• lawrencecpaulson.github.io Machine Logic
• cocodo.github.io CoCoDo: Compiler Coding Dojo
• standardml.org Standard ML Family GitHub Project
• clarkevans.com Clark C. Evans
• mike-rainey.site Mike Rainey’s research page
• smlfamily.org Standard ML Family GitHub Project
• iagrams.co.uk iAgrams
• rogerprice.org Roger Price
• smlfamily.github.io Standard ML Family GitHub Project
• madelman.org Matt Adelman