Popular repositories Loading

1. Canon-C Canon-C Public

   A standard library for verified C — with explicit, composable verified primitives that can scale.

   C 17 1

2. .eclipsefdn .eclipsefdn Public

   Repository to host configurations related to the Eclipse Foundation.

   Jsonnet 1

3. project-website project-website Public

   Canon-C project website

   HTML

4. external-classifications external-classifications Public

5. .github .github Public