GitHub / seL4 / verification-manifest

Manifests for the collection of verification repositories

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fverification-manifest
PURL: pkg:github/seL4/verification-manifest

Stars: 15
Forks: 16
Open issues: 0

License: None
Language:
Size: 857 KB
Dependencies parsed at: Pending

Created at: about 11 years ago
Updated at: 12 days ago
Pushed at: 12 days ago
Last synced at: 12 days ago

Loading...