Alternatives and similar repositories for xinda

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

• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆36Updated this week
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆24Updated last year
• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated 2 months ago
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 4 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆131Updated last week
• open-neutrino / neutrino
  ☆116Updated 2 weeks ago
• appnet-org / appnet
  Expressive, Easy to Build, and High-Performance Application Networks
  ☆17Updated 2 weeks ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆44Updated last month
• 824728350 / Zodiac
  Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024
  ☆13Updated 7 months 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.
  ☆83Updated 2 months ago
• glarer / UserspaceBypass
  ☆58Updated last year
• AIFM-sys / AIFM
  AIFM: High-Performance, Application-Integrated Far Memory
  ☆122Updated 2 years ago
• Nu-NSDI23 / Nu
  Nu is a new datacenter system that enables developers to build fungible applications that can use datacenter resources wherever they are.
  ☆38Updated last year
• ServerlessBench / ServerlessBench
  The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing
  ☆22Updated 3 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆35Updated last year
• uclasystem / DRust
  ☆48Updated 9 months ago
• adsl-rg / adsl-rg.github.io
  ☆12Updated 3 weeks ago
• wangchang327 / compiler-lab-test-driver
  编译原理课程实践中用于测试的代码
  ☆10Updated 4 years ago
• ProjectMitosisOS / ProjectMitosisOS
  Project Mitosis Introduction
  ☆19Updated 2 years ago
• ProjectMitosisOS / dmerge-eurosys24-ae
  Artifact evaluation repo for EuroSys'24.
  ☆27Updated last year
• uclasystem / hermit
  Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony
  ☆34Updated last year
• msr-fiddle / dejavu
  ☆21Updated 11 months ago
• XpuOS / xsched
  A preemptive scheduling framework for diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs
  ☆52Updated 2 weeks ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆137Updated this week
• lexiangh / Metastability
  ☆21Updated 2 years ago
• wangchenxi7 / Atlas
  ☆14Updated last year
• NASA-NJU / PrioPlus
  ☆15Updated 3 months ago
• pkusys / Halfmoon
  Implementation of the logging layer of our SOSP '23 paper Halfmoon
  ☆11Updated last year