-
sml-toml Public
Forked from minoki/sml-tomlTOML parser for Standard ML
Standard ML MIT License UpdatedFeb 8, 2026 -
funding Public
Forked from verifereum/fundingApplications for funding to support Verifereum-related projects
UpdatedMar 12, 2025 -
fxp Public
Forked from cannam/fxpValidating XML parser library in Standard ML by Andreas Neumann and Alexandru Berlea
Standard ML Other UpdatedMar 4, 2025 -
ordinals-paper Public
About mechanisations of the ordinals in higher order logic
-
itp_paper_07 Public
Material to accompany submitted paper 7 to ITP2022
-
-
-
-
-
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Standard ML UpdatedAug 2, 2016 -
polyml Public
Forked from polyml/polymlPoly/ML
Standard ML GNU Lesser General Public License v2.1 UpdatedSep 23, 2015 -
bib2sx Public
Forked from mattmight/bib2sxA tool for manipulating bibtex files as s-expressions
Racket UpdatedJun 19, 2015 -
-
netsem Public
Forked from rems-project/netsemNetwork Semantics
Standard ML Other UpdatedAug 11, 2014 -
-
-
ace-jump-mode Public
Forked from winterTTr/ace-jump-modea quick cursor jump mode for emacs
-
-
-
gorilla Public
Forked from zdia/gorillaPassword Gorilla manages passwords
{{ message }}