Zig port of x64 MikanOS: an experimental, educational, and toy OS.
☆10Jul 7, 2024Updated 2 years ago
Alternatives and similar repositories for zakuro-os
Users that are interested in zakuro-os are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hugin. The type-1 hypervisor on aarch64.☆13Oct 13, 2025Updated last year
- Writing Type-1 Hypervisor in Zig from scratch.☆46Aug 23, 2025Updated last year
- ☆21Jun 15, 2026Updated 4 months ago
- Ymir: The Type-1 Hypervisor.☆69Oct 16, 2026Updated last week
- kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.☆11Jan 1, 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.
- A proof-of-concept microkernel that runs WebAssembly natively.☆73Feb 19, 2024Updated 2 years ago
- Linux rootkit experimentations☆18May 19, 2015Updated 11 years ago
- Unofficial reference Wasm interpreter written in C☆40Dec 4, 2023Updated 2 years ago
- 74thが使うKiCad Parts☆12Mar 23, 2026Updated 7 months ago
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation. (on Milk-V Megrez)☆59May 15, 2026Updated 5 months ago
- Assets used in lecture "手を動かして理解するLinux Kernel Exploit" at SecurityCamp2023.☆17Sep 13, 2023Updated 3 years ago
- dwarfdump utility but in Zig☆30Mar 8, 2024Updated 2 years ago
- Capability-based 3rd-generation Microkernel/Microhypervisor with High-speed IPC Mechanism.☆56Oct 14, 2026Updated 2 weeks ago
- Reimplementation of xv6 in Zig☆31Feb 22, 2026Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Arduino library for I2C TCA9555 16 channel port expander☆17Jan 9, 2026Updated 9 months ago
- Toy QUIC implementation in Zig☆13Sep 4, 2024Updated 2 years ago
- 低レベルコンテナランタイム自作講座☆32Oct 20, 2026Updated last week
- Vel: A language for verified low-level software☆15Jan 22, 2023Updated 3 years ago
- A lightweight implementation of Zig's std.mem.Allocator interface that wraps around Microsoft's mimalloc.☆11Dec 7, 2025Updated 10 months ago
- cos is a toy operating system in C Language with reference to https://operating-system-in-1000-lines.vercel.app☆12Aug 17, 2023Updated 3 years ago
- board information for operating system development☆10Jan 30, 2025Updated last year
- Easy way to execute your C# script via.☆11Jul 28, 2017Updated 9 years ago
- Fuck capstone.CsError: Different API version between core & binding (CS_ERR_VERSION)☆13Nov 16, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🍬 tiny OCaml compiler and PSan targeting to WebAssembly☆11Aug 15, 2024Updated 2 years ago
- cms for watasuke.net☆11Jul 29, 2024Updated 2 years ago
- CVE-2024-8381: A SpiderMonkey Interpreter Type Confusion Bug.☆15Feb 12, 2025Updated last year
- A toy shell written in Rust☆11Oct 27, 2022Updated 4 years ago
- ☆10Feb 25, 2023Updated 3 years ago
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆56Dec 15, 2025Updated 10 months ago
- ☆11Oct 26, 2022Updated 4 years ago
- ☆23Sep 24, 2025Updated last year
- [NO LONGER MAINTAINED] Experimental port of OpenSiv3D to Web☆10Apr 25, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple books manager☆11Updated this week
- 令和6年能登半島地震について公開されたデータを表示するQGISプロジェクトファイルを公開しています。☆13Jul 7, 2024Updated 2 years ago
- Advent Calendar CTF 2014☆10Nov 4, 2015Updated 10 years ago
- ☆11Sep 20, 2021Updated 5 years ago
- records of my daily sec learning☆13Mar 20, 2020Updated 6 years ago
- ☆11May 7, 2019Updated 7 years ago
- ☆15Oct 2, 2025Updated last year