dirvine/packages
Public repository.
Public GitHub Catalog
Discovered Oct 6, 2026
dirvine / seL4
The seL4 microkernel
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#33044790GitHub System ID
dirvineOrganization / User
PublicVisibility
ActiveCatalog Status
More from dirvine
dirvine/linked-hash-map
A HashMap wrapper that holds key-value pairs in insertion order
dirvine/conrod
An easy-to-use, immediate-mode, 2D GUI library written entirely in Rust.
dirvine/RustNN
A neural network crate