Giters
Standard ML of New Jersey (smlnj)

Standard ML of New Jersey

smlnj

Geek Repo

Home Page:https://smlnj.org

Github PK Tool:Github PK Tool

Standard ML of New Jersey's repositories

smlnj

Standard ML of New Jersey

Language:C++License:BSD-3-ClauseStargazers:168Issues:13Issues:276

legacy

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

Language:Standard MLLicense:BSD-3-ClauseStargazers:25Issues:6Issues:305

prettyprint

New SML/NJ Prettyprint library.

Language:Standard MLLicense:BSD-3-ClauseStargazers:6Issues:4Issues:0

smlnj-llvm-14

Clone of the LLVM sources with patches to support the JWA calling convention

Language:C++License:NOASSERTIONStargazers:2Issues:5Issues:0

.github

Profile project for SML/NJ organization

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

regression-tests

Regression tests for the SML/NJ system

Language:Standard MLLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

smlnj-llvm-16

Clone of the LLVM 16.0.x sources with patches to support the JWA calling convention

Language:C++License:NOASSERTIONStargazers:0Issues:4Issues:0

smlnj-llvm-18.1

Clone of the LLVM 18.1.x sources with patches to support the JWA calling convention

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0