orclev/pistachio
L4Ka::Pistachio micro-kernel
Public GitHub Catalog
Discovered Sep 28, 2026
orclev / rustboot
A tiny 32 bit kernel written in Rust
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.
#13404507GitHub System ID
orclevOrganization / User
PublicVisibility
ActiveCatalog Status
More from orclev
orclev/CBOR
Haskell encoder/decoder for CBOR encoding.
orclev/adams-challenge-scala-scalatra
Public repository.
orclev/rays
Ray tracing based language benchmarks