Pinned Loading

1. shakeflow shakeflow Public

   ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)

   Rust 51 1

2. kecc-public kecc-public Public

   KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!

   Rust 140 10

3. memento memento Public

   Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)

   Rust 16 1

4. smr-benchmark smr-benchmark Public

   SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes

   Rust 39 5