Repos by seL4
seL4 / repos
54 repos
| Repo | Language | Stars | Rank |  | capdl | Haskell | 34 | 2,573 |
| camkes-tool | Python | 29 | 159,737 |
| camkes | C | 28 | 37,578 |
| rumprun-sel4-demoapps | C | 28 | 37,382 |
| sel4test | C | 24 | 42,113 |
| musllibc | C | 22 | 44,866 |
| refos-manifest | unknown | 21 | 87,131 |
| camkes-vm | C | 20 | 48,117 |
| camkes-manifest | unknown | 20 | 90,614 |
| sel4bench | C | 18 | 52,419 |
