amutake/prove-everywhere
Moved to https://github.com/prove-everywhere
Demonstration session on 7/25
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Moved to https://github.com/prove-everywhere
Some examples of actor-based languages/libraries
my dockerfiles
optional scripts for hubot, opt in via hubot-scripts.json