Alternatives and similar repositories for rv6

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

• chyyuu / zCore-Design

  View on GitHub
  ☆13Jul 26, 2021Updated 4 years ago
• hyn2028 / kecc-ir-highlight

  View on GitHub
  Support for language highlighting of KECC(KAIST Educational C Compiler) IR
  ☆12May 17, 2022Updated 3 years ago
• HUST-OS / design-pattern-notes

  View on GitHub
  各类内核的设计思路
  ☆19May 19, 2021Updated 4 years ago
• kaist-cp / helpdesk

  View on GitHub
  ☆23Apr 1, 2021Updated 4 years ago
• 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
• HUST-OS / luojia-os-labs

  View on GitHub
  洛佳的异步内核实验室
  ☆25May 22, 2021Updated 4 years ago
• wangrunji0408 / rjrouter

  View on GitHub
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Oct 8, 2020Updated 5 years ago
• kaist-cp / shakeflow

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

  View on GitHub
  A Symmetric Multiprocessing OS Kernel over RISC-V
  ☆32Jun 3, 2022Updated 3 years ago
• kaist-cp / cs431

  View on GitHub
  ☆1,479Aug 8, 2025Updated 6 months ago
• luojia65 / tiaoshi-dashi-sbi

  View on GitHub
  调试大师：你见过最强的内核调试器
  ☆36May 6, 2021Updated 4 years ago
• hongseok-yang / graduatePL18

  View on GitHub
  ☆67Dec 11, 2018Updated 7 years ago
• xiyurain / UltraOS

  View on GitHub
  A Rust based Multicore OS developed by UltraTeam, HITsz. Currently updated on https://gitee.com/LoanCold/ultraos_backup
  ☆46May 26, 2024Updated last year
• rcore-os / zCore-Tutorial

  View on GitHub
  [WIP] Tutorial for zCore kernel.
  ☆59Aug 28, 2021Updated 4 years ago
• mxinden / elimination-backoff-stack

  View on GitHub
  Lock-free elimination back-off stack
  ☆12Jan 6, 2022Updated 4 years ago
• codingskynet / concurrent-data-structure

  View on GitHub
  Concurrent Data Structure for Rust
  ☆29Dec 25, 2022Updated 3 years ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Dec 10, 2025Updated 2 months ago
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆54Nov 15, 2024Updated last year
• pbzweihander / discord-irc-rs

  View on GitHub
  discord to irc bridge
  ☆22Feb 3, 2026Updated last week
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• oscomp / proj6-user-level-interrupt

  View on GitHub
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Apr 1, 2025Updated 10 months ago
• rcore-os / rCore-Tutorial-v3-arm64

  View on GitHub
  Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)
  ☆17Mar 13, 2022Updated 3 years ago
• poppindouble / lock-free

  View on GitHub
  ☆14Jan 20, 2021Updated 5 years ago
• hongseok-yang / logic21

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• rcore-os / riscv

  View on GitHub
  Low level access to RISCV processors
  ☆22Oct 3, 2022Updated 3 years ago
• gmlwns2000 / sharkshark-4k

  View on GitHub
  Upscale Twitch stream and restream into Twitch or RTMP or File.
  ☆16Sep 16, 2023Updated 2 years ago
• utilForever / rust-wasm-game-of-life

  View on GitHub
  A simple Rust and WebAssembly example implementing the Game of Life
  ☆15Aug 4, 2021Updated 4 years ago
• XiNiHa / solid-relay

  View on GitHub
  SolidJS bindings for Relay
  ☆38Sep 4, 2025Updated 5 months ago
• oscomp / proj1-rustsbi

  View on GitHub
  实现和扩展RISC-V SBI运行时，使之能够支持并运行操作系统
  ☆14Apr 1, 2025Updated 10 months ago
• OS-F-4 / usr-intr

  View on GitHub
  项目的主仓库
  ☆26Sep 11, 2022Updated 3 years ago
• oscomp / proj4-xv6-rust

  View on GitHub
  用Rust语言重新设计与实现xv6
  ☆35Mar 7, 2022Updated 3 years ago
• disjukr / life

  View on GitHub
  my life
  ☆29Jan 12, 2026Updated last month
• haskell-kr / haskell-kr

  View on GitHub
  하스켈 모임 웹사이트 소스 코드
  ☆16Dec 8, 2021Updated 4 years ago
• rcore-os / riscv-sbi-rt

  View on GitHub
  A mininal runtime / startup for Supervisor Binary Interface (SBI) on RISC-V.
  ☆19Feb 26, 2022Updated 3 years ago
• icsnju / VeriXmith

  View on GitHub
  A tool for cross-checking Verilog compilers
  ☆14Apr 16, 2025Updated 10 months ago
• kmladotnet / kmlaonline

  View on GitHub
  KMLA Online 민사고 학생 커뮤니티
  ☆11Sep 27, 2025Updated 4 months ago
• rustsbi / plic

  View on GitHub
  Rust support for RISC-V Platform-Level Interrupt Controller
  ☆10Oct 13, 2022Updated 3 years ago
• kaist-cp / cs220

  View on GitHub
  ☆293Nov 27, 2024Updated last year