robsimmons/structural-hypertext
Code for implementing, evaluating, and understanding hypertext as structured data in Standard ML.
Wrappers for Simple 4 Directmedia Layer (SDL) in Standard ML (SML)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Code for implementing, evaluating, and understanding hypertext as structured data in Standard ML.
The Twelf Programming Language (mirror of SVN repository)
The MLton repository
Generation of abstract binding trees