-
-
macports-ports Public
Forked from macports/macports-portsThe MacPorts ports tree
Tcl Other UpdatedFeb 9, 2025 -
giraffe-library-examples Public
A collection of examples using Giraffe Library
Standard ML UpdatedJul 13, 2024 -
polyml Public
Forked from polyml/polymlPoly/ML
Standard ML GNU Lesser General Public License v2.1 UpdatedJul 13, 2024 -
pp Public
Forked from RobArthan/ppProofPower is an open source suite of tools for specification and proof in HOL and Z.
PostScript Other UpdatedSep 9, 2022 -
nested-data-structure-traversal Public < 39C9 /h3> Forked from tjpalmer/nested-data-structure-traversal
Clojure UpdatedApr 14, 2021 -
sml-curl Public
Forked from kni/sml-curllibcurl for Standard ML and http client with asynchronous support (via sml-ev)
Standard ML UpdatedOct 4, 2016