The seL4 microkernel
7 daysStars5.5k24h gain-Score0.0
Search
Find trending repositories by name or description.
9 results for “microkernel”
RankRepository7 daysStars24h gainScore
Neptune OS: A Windows NT-like operating system built on the seL4 microkernel
7 daysStars48324h gain-Score0.0
The Xous microkernel
7 daysStars99724h gain-Score0.0
a little 64bit microkernel based operating system written in c++ with smp support
7 daysStars77124h gain-Score0.0
Microkit - A simple operating system framework for the seL4 microkernel
7 daysStars20024h gain-Score0.0
Experimental WASM Microkernel Operating System
7 daysStars64924h gain-Score0.0
This layout engine can solve the hardest layout problems imaginable. Its output is DTP grade and deterministic. It's faster than engines written in C++ because it's not traditional. Backed by game engine tech, it has a microkernel and runs a spatial-temporal simulation instead of a giant complex pagination loop.
7 daysStars63224h gain-Score0.0
运行时自扩展工具AI Self-Evolving AI Agent Framework | Decision-Loop Driven Microkernel Architecture with Hot-Pluggable Components & Triple-Layer Memory | Agent Infinite Evolution Engine that Learns from Failures
7 daysStars20024h gain-Score0.0
Apeireth — a digital companion that grows with you. Pure Safe Rust AGI cognitive microkernel: memory that fades like a person's, human approval before every side effect, honest boundaries. 31-member workspace (30 crates + 1 bench).
7 daysStars36924h gain-Score0.0