jnider/seL4
The seL4 microkernel
Public GitHub Catalog
Discovered Sep 29, 2026
jnider / zerovm
Open-source lightweight virtualization platform
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.
#13776816GitHub System ID
jniderOrganization / User
PublicVisibility
ActiveCatalog Status
More from jnider
jnider/pistachio
L4Ka::Pistachio micro-kernel
jnider/clonopoly
Monopoly clone using SDL. Intended for Linux, but may work on other systems that support SDL 1.2.
jnider/k42
K42 Kernel