Skip to content
@sml-nj-historical

(Historical) Standard ML of New Jersey

Historical source code for SML/NJ project carefully converted from Subversion to git. The primary organization is @smlnj.

Pinned Loading

  1. git-conversion Public

    Scripts used to test migrating SML/NJ codebase from Subversion to git

    Makefile

Repositories

Showing 10 of 18 repositories
  • git-conversion Public

    Scripts used to test migrating SML/NJ codebase from Subversion to git

    Makefile 0 MIT 0 0 0 Updated Aug 6, 2021
  • sml-mode Public archive

    SML-MODE is a major Emacs mode for editing Standard ML

    Emacs Lisp 2 1 0 0 Updated Aug 6, 2021
  • smldoc Public

    SML documentation generator - A tool for generating documentation from documentation comments that are included in SML source files.

    Standard ML 0 0 0 0 Updated May 10, 2019
  • smlnj Public archive

    The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.

    Standard ML 29 2 0 0 Updated Apr 17, 2019
  • doc Public

    general documentation for the SML/NJ system

    HTML 0 0 0 0 Updated Apr 14, 2019
  • archive Public

    SML/NJ Early Versions from DBM's 9-track tapes

    Standard ML 0 0 0 0 Updated Apr 12, 2019
  • pages Public

    the web site

    HTML 0 0 0 0 Updated Apr 12, 2019
  • tests Public

    SML/NJ Regression Testing

    Standard ML 0 0 0 0 Updated Apr 12, 2019
  • benchmarks Public archive
    Standard ML 0 0 0 0 Updated Apr 12, 2019
  • papers Public
    TeX 0 0 0 0 Updated Apr 12, 2019
View all repositories