AgentDish directory
microkernel
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#1730
↓ -2
Dragon Microkernel
A capability-based microkernel written in SPARK Ada and formally verified with gnatprove, with a thin C SDK for building services and distribution components. |
Developer Tools / Systems / Low-level Infrastructure | 82 | ↓ -2 | 59 days ago | Details |
#2140
↑ +2
X-OS
An open-source operating system project built around AI-era workflows, with a microkernel, userspace services, IPC ports, and a desktop environment already running in QEMU and on real hardware. |
Developer Tools / Code Assistant | 79 | ↑ +2 | 104 days ago | Details |