Repositories list

• hvisor

  Public
  safe type-1 Rust Hypervisor for edge devices

  rustvirtualizationhypervisor+ 1baremetal

  Rust

  •

  Mulan Permissive Software License, Version 2

  •45•154•13•0•Updated Dec 8, 2025Dec 8, 2025

• Veri-easy

  Public
  A lightweight and automated framework that combines multiple testing and proof (TAP) techniques to establish functional equivalence between the verified and original implementations

  Rust

  •

  MIT License

  •0•4•0•0•Updated Dec 5, 2025Dec 5, 2025

• hvisor-tool

  Public
  hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module

  C

  •21•13•3•2•Updated Dec 3, 2025Dec 3, 2025

• hvboot

  Public
  UEFI bootloader for hvisor

  aarch64loongarch64hvisor

  C

  •

  Other

  •3•1•0•0•Updated Nov 29, 2025Nov 29, 2025

• hvisor-book

  Public
  hvisor Guide book

  JavaScript

  •15•4•0•0•Updated Nov 28, 2025Nov 28, 2025

• robonix

  Public
  embodied AI operating system

  linuxroboticsoperating-system+ 2ros2embodied-ai

  Python

  •9•13•2•3•Updated Nov 28, 2025Nov 28, 2025

• verified-memory-allocator

  Public
  Formal Verification of a Bitmap-based allocator in Hvisor

  Rust

  •

  MIT License

  •0•1•0•0•Updated Nov 26, 2025Nov 26, 2025

• syswonder-web

  Public
  syswonder.org source code

  20•5•0•0•Updated Nov 3, 2025Nov 3, 2025

• blog

  Public
  https://blog.syswonder.org

  24•4•49•1•Updated Oct 28, 2025Oct 28, 2025

• robonix-book

  Public
  documentation

  CSS

  •0•2•0•0•Updated Oct 10, 2025Oct 10, 2025

• verified-pt

  Public
  An arch-independent page table implementation, formally verified by Verus.

  Rust

  •

  MIT License

  •0•1•0•0•Updated Sep 29, 2025Sep 29, 2025

• ruxos

  Public
  Rust Unikernel OS

  Rust

  •

  Mulan Permissive Software License, Version 2

  •23•86•16•1•Updated Sep 3, 2025Sep 3, 2025

• virtio-drivers

  Public
  VirtIO guest drivers in Rust.

  Rust

  •

  MIT License

  •80•0•0•2•Updated Jul 3, 2025Jul 3, 2025

• rux-sshd

  Public
  C

  •0•0•0•0•Updated Jun 25, 2025Jun 25, 2025

• hvisor_build_tool

  Public
  Python

  •

  Other

  •0•0•0•0•Updated Jun 19, 2025Jun 19, 2025

• ruxos-musl-toolchain

  Public
  musl-toolchain for ruxos CI test

  0•0•0•0•Updated Jun 15, 2025Jun 15, 2025

• hvisor-book-en

  Public
  https://hvisor-en.wheatfox.dev, translated by https://github.com/enkerewpo/autodocs

  HTML

  •0•1•0•0•Updated Apr 24, 2025Apr 24, 2025

• hvisor-deploy

  Public
  A repo for deploying hvisor on different platforms

  Makefile

  •1•1•0•0•Updated Jan 15, 2025Jan 15, 2025

• RuxOS-Book

  Public
  RuxOS guide book

  JavaScript

  •6•0•0•0•Updated Jan 2, 2025Jan 2, 2025

• rux-python3

  Public
  CPython-3.11 adapted to RuxOS

  Shell

  •2•0•2•0•Updated Jul 5, 2024Jul 5, 2024

• ruxgo

  Public
  Ruxos's companion command-line tool

  Rust

  •

  Other

  •1•9•0•0•Updated Jun 19, 2024Jun 19, 2024

• rux-wamr

  Public
  A lightweight wasm runtime (WASM Micro Runtime, WAMR) adapted to RuxOS

  C

  •0•1•0•0•Updated Jun 10, 2024Jun 10, 2024

• rux-perl

  Public
  Perl-5.38.2 adapted to RuxOS

  Perl

  •0•0•0•0•Updated May 30, 2024May 30, 2024

• rustbao

  Public
  Bao Hypervisor implemented in Rust

  Rust

  •2•3•0•0•Updated May 25, 2024May 25, 2024

• rust-fatfs

  Public
  Rust

  •

  MIT License

  •1•0•0•0•Updated Apr 30, 2024Apr 30, 2024

• rux-nginx

  Public
  Makefile

  •0•0•0•0•Updated Apr 30, 2024Apr 30, 2024

• bcm2835-sdhci

  Public
  Rust

  •0•0•0•0•Updated Apr 25, 2024Apr 25, 2024

• rux-redis

  Public
  Redis library for RuxOS

  Makefile

  •0•0•0•0•Updated Apr 12, 2024Apr 12, 2024

• rux-helloworld

  Public
  Helloworld library for RuxOS

  C

  •0•0•0•0•Updated Jan 10, 2024Jan 10, 2024

• rux-iperf

  Public
  RuxOS Iperf3 library

  Makefile

  •0•0•0•0•Updated Dec 27, 2023Dec 27, 2023