Pinned Loading

1. kaist-cp/memento kaist-cp/memento Public

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

   Rust 19 2

2. kaist-cp/view-hw kaist-cp/view-hw Public

   Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

   Coq 3

3. kaist-cp/memento-proof kaist-cp/memento-proof Public

   [WORK IN PROGRESS] Mechanized Proof for Article: "Memento: A Framework for Detectable Recoverability in Persistent Memory" (PLDI 2023)

   Coq

4. hc-zenburn-vscode hc-zenburn-vscode Public

   🌘A Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code

   11 2

5. SomaLDEN/lden SomaLDEN/lden Public

   Linux Dynamic Event Notifier using extended Berkeley Packet Filter in Linux Kernel

   Python 4