{ℷ} GimML is an implementation of a variant of the functional imperative higher-order language Standard ML, with native set and map operations. A short description was published at the ML workshop in 1994. (The name of the language was different then, but the acronym means the same: GimML is a map-oriented ML.)
Look here for a preview of some of GimML’s most salient features.
Download GimML 1.0
Precompiled packages:
- GimML 1.0 For MacOSX, dual x86_64/arm64 architecture; installs in
/usr/local/bin - GimML 1.0 For Linux/Ubuntu (Debian), x86_64 architecture (Intel, AMD64); installs in
/usr/bin
You may also wish to compile directly from the sources. Here is the list of tools included in the GimML distribution.
Documentation
- The GimML language: online or as a pdf file.
- The
glexlexical analyzer generator: pdf. - The
gyaccparser generator: online, or pdf.
Applications
The H1 tool suite was (almost) entirely written in GimML.