MatthewFluet
Follow
-
mlton Public
Forked from MLton/mltonThe MLton repository
-
mpl Public
Forked from MPLLang/mplThe MaPLe compiler for Parallel ML
Standard ML Other UpdatedOct 16, 2024 -
tree-sitter-sml Public
Standard ML (SML) grammar for tree-sitter
-
mlton-builds Public
Forked from ii8/mlton-buildsUnofficial builds of the MLton Standard ML compiler for various architectures
UpdatedNov 16, 2023 -
smlfmt Public
Forked from shwestrick/smlfmtA custom parser/auto-formatter for Standard ML
Standard ML MIT License UpdatedMay 17, 2023 -
mlkit Public
Forked from melsman/mlkitStandard ML Compiler and Toolkit
Standard ML UpdatedSep 7, 2022 -
-
Heapsize Public
Forked from pepeiborra/Heapsizeghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
-
company-mlton Public
company-mode completion back-end for MLton/Standard ML
-
sml-mode Public
Forked from emacsmirror/sml-modeMajor mode for editing (Standard) ML
Emacs Lisp UpdatedDec 1, 2020 -
manticore Public
Forked from ManticoreProject/manticoreParallel ML compiler
Standard ML UpdatedJun 27, 2019 -
linuxbrew-core Public
Forked from sjackman/linuxbrew-core🍻🐧 Core formulae for the Linuxbrew package manager
Ruby BSD 2-Clause "Simplified" License UpdatedJun 2, 2019 -
forge Public
Forked from magit/forgeWork with Git forges from the comfort of Magit
Emacs Lisp GNU General Public License v3.0 UpdatedApr 4, 2019 -
magit Public
Forked from magit/magitIt's Magit! A Git porcelain inside Emacs.
Emacs Lisp GNU General Public License v3.0 UpdatedMar 12, 2019 -
mlton-ppa Public
Debian packaging files for building/packaging MLton via Ubuntu Launchpad PPA
-
sml-redprl Public
Forked from RedPRL/sml-redprlDecisively Smash the Formalist Clique!—The People's Refinement Logic
Standard ML MIT License UpdatedFeb 20, 2018 -
-
acmart Public
Forked from borisveytsman/acmartACM consolidated LaTeX styles
TeX UpdatedSep 26, 2017 -
Successor-ML Public
Forked from SMLFamily/Successor-MLA version of the 1997 SML definition with corrections and some proposed Successor ML features added.
TeX UpdatedOct 10, 2016 -
homebrew-mlton Public
Forked from MLton/homebrew-mltonHombrew forumlae for MLton
Ruby UpdatedFeb 27, 2016 -
urweb Public
Forked from urweb/urwebThe Ur/Web programming language
Standard ML Other UpdatedJan 29, 2016 -
SML-The-Living-Language Public
Forked from SMLFamily/SML-The-Living-LanguageSML, The Living Language (aka, Successor ML)
TeX UpdatedSep 25, 2014 -
mltonlib Public
Forked from MLton/mltonlibThe MLtonLibrary repository
Standard ML UpdatedMar 11, 2013