iraikov/TAL
An implementation of Morrisett's Typed Assembly Language
Standard ML tensor/multidimensional array library
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An implementation of Morrisett's Typed Assembly Language
A book on programming languages, using Haskell
Arithmetic expression compiler based on the SECD machine
Prototype XML schemas for NineML