Alternatives and similar repositories for rxv64

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

• MaaSTaaR / 539kernel
  539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…
  ☆231Updated 2 years ago
• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆424Updated 2 months ago
• r9os / r9
  The R9 operating system
  ☆773Updated last week
• Arquivotheca / SunOS-4.1.3
  Contents from SunOS 4.1.3 SUNSRC CD-ROM
  ☆183Updated 4 years ago
• krustowski / rou2exOS
  A second iteration of the (to be) DOS-friendly hobby OS.
  ☆203Updated 2 weeks ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated 8 months ago
• andrewchambers / minias
  A mini x86-64 assembler for fun and learning.
  ☆221Updated 9 months ago
• thass0 / spray
  A x86_64 Linux debugger 🐛🐛🐛
  ☆239Updated last year
• AgentD / hausboot
  Tiny C++ boot loader
  ☆82Updated 2 years ago
• pwk4m1 / TinyBIOS
  A mirror of TinyBIOS repository
  ☆313Updated last month
• lux-operating-system / kernel
  Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions
  ☆185Updated 10 months ago
• vegesm / c72
  The first C compiler ported to x86
  ☆196Updated 4 years ago
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆229Updated last year
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆197Updated this week
• seeker89 / unikernels
  State of the art for unikernels
  ☆221Updated last year
• nanochess / bootLogo
  Logo language in 508 bytes (x86 boot sector)
  ☆182Updated last year
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆298Updated 11 months ago
• meribold / btry
  Battery info program for x86-64 Linux laptops in 384 bytes of machine code
  ☆60Updated last year
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆184Updated last week
• cozis / microtcp
  A minimal TCP/IP stack
  ☆533Updated last year
• BurntSushi / rsc-regexp
  Translations of a simple C program to Rust.
  ☆140Updated 2 years ago
• sgmarz / osblog
  The Adventures of OS
  ☆562Updated 3 years ago
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆210Updated 4 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆21Updated last year
• bendudson / EuraliOS
  A hobby x86-64 operating system written in Rust
  ☆145Updated last year
• popovicu / zig-time-sharing-kernel
  Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
  ☆194Updated 3 months ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆119Updated 2 years ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆216Updated 6 years ago
• gboncoffee / egg
  Emulador Genérico do Gabriel
  ☆88Updated 6 months ago
• Narasimha1997 / r3
  A tiny x86_64 kernel written in Rust.
  ☆84Updated 3 years ago