Single-address-space capability-based nanokernel
☆92Nov 2, 2026Updated this week
Alternatives and similar repositories for vesper
Users that are interested in vesper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Metta OS☆71Nov 10, 2024Updated last year
- An embedded OS for Apple M1 Pro chipsets☆18Sep 24, 2023Updated 3 years ago
- Minimal world engine for old computers. Scriptable NPCs, growable crops, editable maps, in glorious CGA (or VGA).☆24May 9, 2025Updated last year
- Definitions from the Virtual I/O Device (VIRTIO) specification.☆31Sep 12, 2026Updated last month
- Simple monolithic kernel written in Rust for x86-64☆24Feb 28, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Toy microkernel and userspace written in Rust, exploring modern ideas☆268Sep 27, 2026Updated last month
- Algorithmic pseudolang to LLVM IR compiler☆11May 6, 2021Updated 5 years ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- Allows for proper and easy handling of volatile memory☆44May 15, 2024Updated 2 years ago
- ☆69Mar 2, 2023Updated 3 years ago
- A kernel for ProkaOS☆13Oct 23, 2026Updated last week
- Aether — an open, strongly-typed scientific computing framework for aerospace and physics simulation in Rust.☆24Updated this week
- 2-8-2, a RISC-V Experimental OS☆28Dec 14, 2019Updated 6 years ago
- Operating system designed to be fast and secure.☆21Jun 10, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Experimental kernel for embedded devices written in Rust☆91Jun 23, 2022Updated 4 years ago
- 🌀 Microkernel Real-Time Operating System in Rust☆50Apr 11, 2023Updated 3 years ago
- A makefile project to demonstrate building a portable Hello World executable with Cosmopolitan Libc☆14Sep 6, 2022Updated 4 years ago
- Mach4 archived source.☆21Jun 7, 2024Updated 2 years ago
- Rust AV crates☆17Oct 17, 2025Updated last year
- Experimental password store for Blackpill card utilizing usb serial and spi flash☆18Apr 25, 2026Updated 6 months ago
- A Rust library which is useful to handle xHCI☆50Sep 2, 2024Updated 2 years ago
- Textual tables with automatic alignment☆39Aug 10, 2023Updated 3 years ago
- Auxiliary library for kernel development☆30Jan 6, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An aimless attempt at building a PC from scratch, in a vaguely eurorack/modular synth style.☆71Jul 7, 2022Updated 4 years ago
- A YouTube Transcoding Proxy for accessing YouTube in Classic MacOS☆13Dec 8, 2022Updated 3 years ago
- A toy OS written in Rust supporting xHCI.☆43Feb 12, 2024Updated 2 years ago
- a collection of graphical effects used in the demoscene☆27Apr 20, 2018Updated 8 years ago
- R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics☆175Apr 22, 2023Updated 3 years ago
- A little SDK for Windows 3.11 running on modern machines☆16Sep 12, 2022Updated 4 years ago
- Terminal information for Rust.☆26Dec 17, 2021Updated 4 years ago
- Everything related to the practical work/implementation for my Diplom thesis project at TU Dresden.☆44Mar 2, 2025Updated last year
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- VirtualBox Guest Additions driver for KolibriOS.☆11Oct 2, 2023Updated 3 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- Exit QEMU with user-defined code☆57May 6, 2026Updated 5 months ago
- [WIP] Firefly is a research OS inspired by Linux and Plan 9.☆11Jul 20, 2026Updated 3 months ago
- Rusty wrappers for Multiboot2.☆131Oct 26, 2026Updated last week
- Custom v86-mode debugger for the 80386☆17Jan 26, 2023Updated 3 years ago