<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
seL4/capdl
Capability Distribution Language tools for seL4
Haskell
Stars 37
Forks 48
Watchers 37
Open issues 10
Details
仓库信息
Owner
seL4
Homepage
https://sel4.systems
GitHub
https://github.com/seL4/capdl
Last pushed
2025-11-25
Last updated
2025-12-15
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--