Popular repositories
Repositories
Showing 10 of 24 repositories
- tyche-redis Public Forked from redis/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
- patched-bootloader Public Forked from rust-osdev/bootloader
An experimental pure-Rust x86 bootloader - Patched for our needs
- unikraft Public Forked from unikraft/unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
- rust-kernel-drivers Public Forked from NoeTerrier/noe-ba-project
Bachelor project 2023 at DCSL @ EPFL, build by Noe Terrier
-
- serval-rust Public
-
- lancet-tool Public
-