aturon/lvars
A collection of prototype LVar implementations, tools, and mechanized semantics.
A small collection of personal shell scripts
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A collection of prototype LVar implementations, tools, and mechanized semantics.
Benchmarks for the Scala Chemistry Set
Basic infrastructure for microbenchmarking in Scala
Caper: concurrent and parallel extensions to Racket