Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
gitea.com / robigalia 34 repositories
A capability-based operating system written in Rust using the verified seL4 microkernel. Featuring orthogonal persistence and a POSIX compatibility layer.
robigalia/sel4-idlgen
Language: - Size: 68.4 KB - Last synced: over 1 year ago - Stars: 0 - Forks: 0
robigalia/rust-bitmap
Language: - Size: 73.2 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/freestanding-musl-malloc
Language: - Size: 35.2 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/robigalia.org
Language: - Size: 18.6 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/hello-world
Language: - Size: 101 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/alpine-bootstrap
Language: - Size: 25.4 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/acpica-sys
Language: - Size: 1.78 MB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/rbg-elfload
Language: - Size: 29.3 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/rbg-linux-abi
Language: - Size: 79.1 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/bitflags-core
Language: - Size: 50.8 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/sel4-targets
Language: - Size: 42 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/sel4-acpica
Language: - Size: 35.2 KB - Last synced: about 1 year ago - Stars: 0 - Forks: 0
robigalia/musl-robigo
Language: - Size: 4.74 MB - Last synced: over 1 year ago - Stars: 0 - Forks: 0