Alternatives and similar repositories for memento

Users that are interested in memento are comparing it to the libraries listed below

• kaist-cp / smr-benchmark

  View on GitHub
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆45Aug 12, 2025Updated 6 months ago
• kaist-cp / cs492-uarch

  View on GitHub
  ☆44Nov 20, 2024Updated last year
• kaist-cp / hazardflow

  View on GitHub
  HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
  ☆20Dec 5, 2024Updated last year
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆63Updated this week
• kaist-cp / shakeflow

  View on GitHub
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆57Jan 23, 2025Updated last year
• sihangliu / pmtest

  View on GitHub
  ☆28Feb 23, 2020Updated 5 years ago
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆54Nov 15, 2024Updated last year
• kaist-cp / kecc-public

  View on GitHub
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆179Jun 13, 2025Updated 8 months ago
• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆552Apr 3, 2025Updated 10 months ago
• cosmoss-jigu / tips

  View on GitHub
  ☆15Mar 31, 2022Updated 3 years ago
• cosmoss-jigu / timestone

  View on GitHub
  ☆15Mar 30, 2022Updated 3 years ago
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• fallfish / AustereCache

  View on GitHub
  ☆16Jun 11, 2023Updated 2 years ago
• casys-kaist / kev

  View on GitHub
  KAIST Educational Virtualization
  ☆16Oct 4, 2024Updated last year
• sfu-dis / pibench-ep2

  View on GitHub
  Benchmarking new Optane PMem-based persistent memory range indexes (VLDB 2022)
  ☆21Nov 15, 2022Updated 3 years ago
• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• hongseok-yang / logic21

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• logsem / clutch

  View on GitHub
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆34Updated this week
• lingfenghsiang / Persistent-Memory-Study

  View on GitHub
  ☆26Mar 31, 2022Updated 3 years ago
• cosmoss-jigu / pactree

  View on GitHub
  ☆30Nov 8, 2021Updated 4 years ago
• kaist-cp / cs220

  View on GitHub
  ☆293Nov 27, 2024Updated last year
• prosyslab-classroom / is593-language-based-security

  View on GitHub
  ☆28Aug 14, 2023Updated 2 years ago
• NVSL / Corundum

  View on GitHub
  A Rust library for safely programming persistent memory
  ☆75Jun 6, 2024Updated last year
• daformat / cryptris

  View on GitHub
  Cryptris, a game about asymmetric cryptography
  ☆18Sep 6, 2014Updated 11 years ago
• robinlee09201 / ctFS

  View on GitHub
  ☆36Mar 28, 2023Updated 2 years ago
• pramalhe / RedoDB

  View on GitHub
  The world's first wait-free KV store with generic durable linearizable transactions
  ☆41Feb 26, 2022Updated 3 years ago
• rust-lang / project-stable-mir

  View on GitHub
  Define compiler intermediate representation usable by external tools
  ☆102Nov 20, 2025Updated 2 months ago
• kaist-cp / helpdesk

  View on GitHub
  ☆23Apr 1, 2021Updated 4 years ago
• liecn / cnli.me

  View on GitHub
  template for https://cnli.me
  ☆10Feb 27, 2025Updated 11 months ago
• aliyun / kvc-3fs-operator

  View on GitHub
  ☆33Dec 23, 2025Updated last month
• AGL-web-applications / webapp-samples

  View on GitHub
  Simple web applications for the AGL platform.
  ☆12Jun 17, 2022Updated 3 years ago
• webosose / com.webos.app.settings

  View on GitHub
  Settings application
  ☆12Sep 6, 2023Updated 2 years ago
• mfs409 / nonblocking

  View on GitHub
  Nonblocking data structures
  ☆12Jan 25, 2015Updated 11 years ago
• liu445126256 / FuncPipe

  View on GitHub
  ☆11Jul 9, 2023Updated 2 years ago
• kpctoolboxteam / kpc-toolbox

  View on GitHub
  KPC-Toolbox: MATLAB toolbox to fit Markovian Arrival Processes
  ☆10Jun 12, 2025Updated 8 months ago
• mit-plv / hemiola

  View on GitHub
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14May 7, 2022Updated 3 years ago
• pallas / ioucontext

  View on GitHub
  A coöperative multitasking framework based on `liburing` and `libucontext`
  ☆16Jan 2, 2026Updated last month
• multikernel / kerf

  View on GitHub
  kerf is a tool designed to orchestrate and manage multiple kernel instances on a single host.
  ☆25Jan 23, 2026Updated 3 weeks ago
• araij / gup

  View on GitHub
  Implementation of GuP [Arai+ SIGMOD'23]
  ☆10Jan 10, 2024Updated 2 years ago