msullivan/stilts
SML On Stilts
Implementation of RMC atomics for C/C++
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
SML On Stilts
a safe, concurrent, practical language
simple irc bot to tail log files and send output to channel(s)
An implementation of substructural intuitionistic logic focused on forward chaining