☆19Jun 4, 2021Updated 4 years ago
Alternatives and similar repositories for os-workbench
Users that are interested in os-workbench are comparing it to the libraries listed below
Sorting:
- A classic 5-stage rv32i(incomplete) toy implementation based on powerful SpinalHDL☆10Jul 5, 2021Updated 4 years ago
- Distributed Systems Reading Group☆20Nov 28, 2017Updated 8 years ago
- Falcon: A practical log-based analysis tool for distributed systems☆32Apr 3, 2021Updated 4 years ago
- Operating System Labs @ NJU☆24Apr 22, 2020Updated 5 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016☆32Mar 14, 2016Updated 9 years ago
- A minimal, modularized, and machine-independent hardware abstraction layer☆525Dec 23, 2025Updated 2 months ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 11 months ago
- Some CS notes during Jiawei's undergrad.☆33Jan 6, 2022Updated 4 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Sep 2, 2024Updated last year
- ☆12Feb 15, 2024Updated 2 years ago
- Transparent serialization of python plain-old-data classes☆12Aug 31, 2022Updated 3 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 4 months ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- The chinese translation for https://www.usenix.org/legacy/event/atc10/tech/full_papers/Hunt.pdf☆37May 13, 2023Updated 2 years ago
- KsanaDiT: High-Performance DiT (Diffusion Transformer) Inference Framework for Video & Image Generation☆36Feb 6, 2026Updated 3 weeks ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- ☆15Feb 19, 2025Updated last year
- Native Linux KVM tool☆12Feb 4, 2026Updated 3 weeks ago
- ☆11Sep 21, 2022Updated 3 years ago
- ☆10Nov 12, 2019Updated 6 years ago
- 模型加速/模型压缩(已完成所有Lab)☆11Dec 24, 2023Updated 2 years ago
- GUI for SymbiYosys☆17Oct 13, 2025Updated 4 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated last month
- ☆10Jul 20, 2022Updated 3 years ago
- Tiny C library for inter-thread/process communication via channels. Linux-only.☆12Feb 21, 2016Updated 10 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Discover the China's map deviation algorithm☆11Jun 30, 2025Updated 8 months ago
- Unreal Engine simulator for our self driving car training☆11Nov 18, 2021Updated 4 years ago
- Videocore Backend for llvm☆23Feb 3, 2015Updated 11 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Feb 23, 2026Updated last week
- ☆13Feb 13, 2026Updated 2 weeks ago
- Fast poor man's profiler for Linux☆12Jun 8, 2023Updated 2 years ago
- Show Window Stations, Desktops and top level windows☆17Jun 10, 2023Updated 2 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- ☆10Mar 10, 2021Updated 4 years ago