Skip to content
Change the repository type filter

All

    Repositories list

    • robonix

      Public
      embodied AI operating system (EAIOS)
      Rust
      Mulan Permissive Software License, Version 2
      111531Updated Mar 14, 2026Mar 14, 2026
    • robonix-book

      Public
      CSS
      0200Updated Mar 14, 2026Mar 14, 2026
    • hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module
      C
      221411Updated Mar 11, 2026Mar 11, 2026
    • A CRI-compliant runtime for managing hvisor virtual machines as containers in Kubernetes
      Go
      Mulan Permissive Software License, Version 2
      0000Updated Mar 10, 2026Mar 10, 2026
    • hvisor

      Public
      safe type-1 Rust Hypervisor for edge devices
      Rust
      Mulan Permissive Software License, Version 2
      47172162Updated Mar 10, 2026Mar 10, 2026
    • syswonder-web

      Public
      syswonder.org source code
      21501Updated Mar 7, 2026Mar 7, 2026
    • Veri-easy

      Public
      A lightweight and automated framework that combines multiple testing and proof (TAP) techniques to establish functional equivalence between the verified and ori…
      Rust
      Mulan Permissive Software License, Version 2
      0400Updated Feb 26, 2026Feb 26, 2026
    • hvisor Guide book
      JavaScript
      16400Updated Jan 27, 2026Jan 27, 2026
    • ruxos

      Public
      Rust Unikernel OS
      Rust
      Mulan Permissive Software License, Version 2
      2490328Updated Jan 22, 2026Jan 22, 2026
    • blog

      Public
      https://blog.syswonder.org
      274491Updated Jan 9, 2026Jan 9, 2026
    • Formal Verification of a Bitmap-based allocator in Hvisor
      Rust
      MIT License
      0100Updated Jan 7, 2026Jan 7, 2026
    • hvboot

      Public
      UEFI bootloader for hvisor
      C
      Other
      4100Updated Nov 29, 2025Nov 29, 2025
    • An arch-independent page table implementation, formally verified by Verus.
      Rust
      MIT License
      0200Updated Sep 29, 2025Sep 29, 2025
    • VirtIO guest drivers in Rust.
      Rust
      MIT License
      88002Updated Jul 3, 2025Jul 3, 2025
    • rux-sshd

      Public
      C
      0000Updated Jun 25, 2025Jun 25, 2025
    • Python
      Other
      0000Updated Jun 19, 2025Jun 19, 2025
    • musl-toolchain for ruxos CI test
      0000Updated Jun 15, 2025Jun 15, 2025
    • https://hvisor-en.wheatfox.dev, translated by https://github.com/enkerewpo/autodocs
      HTML
      0100Updated Apr 24, 2025Apr 24, 2025
    • A repo for deploying hvisor on different platforms
      Makefile
      1100Updated Jan 15, 2025Jan 15, 2025
    • RuxOS guide book
      JavaScript
      6000Updated Jan 2, 2025Jan 2, 2025
    • CPython-3.11 adapted to RuxOS
      Shell
      2020Updated Jul 5, 2024Jul 5, 2024
    • ruxgo

      Public
      Ruxos's companion command-line tool
      Rust
      Other
      1900Updated Jun 19, 2024Jun 19, 2024
    • rux-wamr

      Public
      A lightweight wasm runtime (WASM Micro Runtime, WAMR) adapted to RuxOS
      C
      0100Updated Jun 10, 2024Jun 10, 2024
    • rux-perl

      Public
      Perl-5.38.2 adapted to RuxOS
      Perl
      0000Updated May 30, 2024May 30, 2024
    • rustbao

      Public
      Bao Hypervisor implemented in Rust
      Rust
      2300Updated May 25, 2024May 25, 2024
    • Rust
      MIT License
      1000Updated Apr 30, 2024Apr 30, 2024
    • rux-nginx

      Public
      Makefile
      0000Updated Apr 30, 2024Apr 30, 2024
    • Rust
      0000Updated Apr 25, 2024Apr 25, 2024
    • rux-redis

      Public
      Redis library for RuxOS
      Makefile
      0000Updated Apr 12, 2024Apr 12, 2024
    • Helloworld library for RuxOS
      C
      0000Updated Jan 10, 2024Jan 10, 2024