Kernel
Showing 8 of 44 projects
A multi-processor, 64-bit, formally-verified general-purpose operating system for x86-64, written in SPARK/Ada.
A from-scratch x86_64 operating system kernel built with Rust and Assembly.
Kernex extends JAX with kmap and kscan for differentiable stencil computations, enabling efficient array transformations.
A minimalistic, security-focused x86-64 operating system kernel written in Ada/SPARK with formal verification.
A hobby x86 32-bit operating system with a custom kernel, bootloader, device drivers, and C standard library for learning.
A kernel-level daemon that dynamically throttles background Docker containers to prevent interactive services from stuttering on resource-constrained home servers.
A 64-bit RISC-V hobby monolithic kernel written in Ada, supporting pre-emptive multitasking and VirtIO devices.
A modern exokernel operating system written in Rust that gives applications maximum control over hardware resources.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.