aturon/rust
a safe, concurrent, practical language
Developer Profile
aturon
Discovered public repositories for aturon in the GitHub catalog.
aturon/lvars
A collection of prototype LVar implementations, tools, and mechanized semantics.
aturon/ChemistrySetBench
Benchmarks for the Scala Chemistry Set
aturon/ScalaBench
Basic infrastructure for microbenchmarking in Scala
aturon/Caper
Caper: concurrent and parallel extensions to Racket
aturon/racket
The Racket repository
aturon/ModularRollback
Code related to "Modular rollback through control logging"
aturon/dotfiles
unixy config files
aturon/PlotBench
Visualizes benchmarking results using Racket's PLoT library
aturon/scripts
A small collection of personal shell scripts
aturon/RedRacket
Fast regexp matching in Racket
aturon/ChemistrySet
A library for composable fine-grained concurrency.