aturon/rust
a safe, concurrent, practical language
RFCs for changes to Rust
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 safe, concurrent, practical language
A collection of prototype LVar implementations, tools, and mechanized semantics.
Benchmarks for the Scala Chemistry Set
Basic infrastructure for microbenchmarking in Scala