repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
rcore-os/arceos | RustCMakefile | 277 | +9 | 89 | 0 |
mirage/mirage | OCamlPerlOther | 2.2k | 0 | 243 | 0 |
mirage/mirage-tcpip | OCamlC | 322 | 0 | 85 | 0 |
dinosaure/bob | OCamlOther | 110 | 0 | 4 | 0 |
unikraft/unikraft | CPythonPerl | 1.6k | 0 | 1k | 0 |
hermitcore/rusty-hermit | RustShell | 1.4k | 0 | 76 | 0 |
roburio/albatross | OCamlShellC | 131 | 0 | 15 | 0 |