This is stars and forks stats for /seL4/capdl repository. As of 05 May, 2024 this repository has 32 stars and 43 forks.
Capability Distribution Language Collection of tools for generating, parsing and loading capdl specifications of systems: capDL-tool - A tool to assist working with capDL textual specifications python-capdl-tool - A Python module for providing CapDL support capdl-loader-app - The capDL initialiser for seL4 Reporting security vulnerabilities If you believe you have found a security vulnerability in this code, we ask you to follow the seL4 vulnerability disclosure policy.
Capability Distribution Language Collection of tools for generating, parsing and loading capdl specifications of systems: capDL-tool - A tool to assist working with capDL textual specifications python-capdl-tool - A Python module for providing CapDL support capdl-loader-app - The capDL initialiser for seL4 Reporting security vulnerabilities If you believe you have found a security vulnerability in this code, we ask you to follow the seL4 vulnerability disclosure policy.
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
nolanlawson/pinafore | JavaScriptHTMLSCSS | 1k | 0 | 172 | 0 |
ed-roh/mern-social-media | JavaScriptHTMLCSS | 732 | 0 | 742 | 0 |
amejiarosario/dsa.js-data-structures-algorithms-javascript | JavaScriptDockerfile | 7.4k | 0 | 920 | 0 |
jointakahe/takahe | PythonHTMLCSS | 999 | 0 | 71 | 0 |
StormSurgeLive/asgs | FortranPerlShell | 36 | 0 | 23 | 0 |
slack-go/slack | GoMakefile | 4.4k | 0 | 1.1k | 0 |
opencontainers/runc | GoShellC | 10.8k | 0 | 2k | 0 |
Kleidukos/get-tested | HaskellMakefile | 27 | 0 | 2 | 0 |
AndrasKovacs/elaboration-zoo | HaskellAgda | 517 | 0 | 30 | 0 |
simonmar/ghc-paths | Haskell | 10 | 0 | 18 | 0 |