Skip to content

@sml-nj-historical (Historical) Standard ML of New Jersey

Change the repository type filter

All

    Repositories list

    18 repositories

    • git-conversion

      Public
      Scripts used to test migrating SML/NJ codebase from Subversion to git
      Makefile
      •
      MIT License
      •0•0•0•0•Updated Aug 6, 2021Aug 6, 2021

    • sml-mode

      Public archive
      SML-MODE is a major Emacs mode for editing Standard ML
      Emacs Lisp
      •1•2•0•0•Updated Aug 6, 2021Aug 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, 2019May 10, 2019

    • smlnj

      Public archive
      The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
      Standard ML
      •2•30•0•0•Updated Apr 17, 2019Apr 17, 2019

    • doc

      Public
      general documentation for the SML/NJ system
      HTML
      •0•0•0•0•Updated Apr 14, 2019Apr 14, 2019

    • archive

      Public
      SML/NJ Early Versions from DBM's 9-track tapes
      Standard ML
      •0•0•0•0•Updated Apr 12, 2019Apr 12, 2019

    • pages

      Public
      the web site
      HTML
      •
      Other
      •0•0•0•0•Updated Apr 12, 2019Apr 12, 2019

    • tests

      Public
      SML/NJ Regression Testing
      Standard ML
      •0•0•0•0•Updated Apr 12, 2019Apr 12, 2019

    • benchmarks

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

    • papers

      Public
      TeX
      •0•0•0•0•Updated Apr 12, 2019Apr 12, 2019

    • dev-notes

      Public
      Developer Notes
      0•0•0•0•Updated Apr 12, 2019Apr 12, 2019

    • lexgen

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

    • osx-dist

      Public
      For building Installer packages on modern versions of macOS
      Shell
      •0•0•0•0•Updated Apr 12, 2019Apr 12, 2019

    • admin

      Public
      repository administration
      Python
      •0•0•0•0•Updated Apr 12, 2019Apr 12, 2019

    • rpm-dist

      Public
      Scripts etc. to build RPMs
      0•0•0•0•Updated Apr 12, 2019Apr 12, 2019

    • bugs

      Public archive
      0•0•0•0•Updated Apr 11, 2019Apr 11, 2019

    • ml-lpt

      Public
      SML language processing tools - New versions of the scanner and parser generator tools for the Standard ML of New Jersey system.
      Standard ML
      •0•1•0•0•Updated Apr 8, 2019Apr 8, 2019

    • asdl

      Public
      ASDL generator - The Abstract Syntax Description Lanuguage (ASDL) is a language designed to describe the tree-like data structures in compilers. Its main goal i…
      Standard ML
      •
      Other
      •0•5•0•0•Updated Apr 8, 2019Apr 8, 2019