AgentDish directory
C SDK
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#1275
↓ -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 | 2 days ago | Details |