Alternatives and similar repositories for OKLib

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

• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆22Updated this week
• uclasystem / Semeru
  A Memory-Disaggregated Managed Runtime.
  ☆66Updated 3 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆43Updated this week
• OrderLab / xinda
  Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems
  ☆13Updated 2 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• uclasystem / MemLiner
  MemLiner is a remote-memory-friendly runtime system.
  ☆31Updated 2 years ago
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated last year
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 4 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆35Updated 3 weeks ago
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆82Updated 3 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• lexiangh / Metastability
  ☆21Updated 2 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆126Updated this week
• dassl-uiuc / LazyLog-Artifact
  LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  ☆25Updated last month
• Ddnirvana / awesome-serverless-research
  A curated list of awesome serverless research works, including papers and open-sourced projects.
  ☆83Updated 2 years ago
• uclasystem / DRust
  ☆47Updated 7 months ago
• uclasystem / hermit
  Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony
  ☆34Updated last year
• uclasystem / Mako
  Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.
  ☆14Updated 9 months ago
• resource-disaggregation / jiffy
  Virtual Memory Abstraction for Serverless Architectures
  ☆48Updated 3 years ago
• eniac / mucache
  A caching framework for microservice applications
  ☆20Updated last year
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated 11 months ago
• OrderLab / Legolas
  Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems
  ☆12Updated last year
• JunctionOS / junction
  Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security
  ☆100Updated this week
• cocoppang / ShieldStore
  Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019
  ☆37Updated 2 years ago
• rs3lab / KFlex
  ☆30Updated 2 months ago
• AIFM-sys / AIFM
  AIFM: High-Performance, Application-Integrated Far Memory
  ☆120Updated 2 years ago
• eniac / Beldi
  ☆52Updated 2 years ago
• stanford-mast / shinjuku
  ☆48Updated 2 years ago
• Romero027 / sysnet-reading-list
  This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.
  ☆81Updated 2 weeks ago