edgar-pek/VCDryad
VCDryad description
Public GitHub Catalog
Discovered Oct 20, 2026
edgar-pek / PerspicuOS
This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype PerspicuOS.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#39730021GitHub System ID
edgar-pekOrganization / User
PublicVisibility
ActiveCatalog Status
More from edgar-pek
edgar-pek/err-rec
Verified recovery routines
edgar-pek/pta
Public repository.
edgar-pek/IllinoisPointsToAnalysis
Repository for Illinois PointsToAnalysis