GaloisInc/mirage-flask-xen
OCaml bindings to Xen XSM/Flask hypercalls
Public GitHub Catalog
Discovered Sep 30, 2026
GaloisInc / HTTP
Haskell HTTP package
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.
#19626137GitHub System ID
GaloisIncOrganization / User
PublicVisibility
ActiveCatalog Status
More from GaloisInc
GaloisInc/sk-dev-platform
Development platform for prototyping separation kernel applications
GaloisInc/libdl
Public repository.
GaloisInc/schedtool-dl
Public repository.