-
cargo Public
Forked from rust-lang/cargoThe Rust package manager
Rust Apache License 2.0 UpdatedSep 5, 2024 -
unikraft Public
Forked from unikraft/unikraftUnikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
C Other UpdatedDec 10, 2023 -
nanos Public
Forked from nanovms/nanosA kernel designed to run one and only one application in a virtualized environment
C Apache License 2.0 UpdatedAug 31, 2023 -
solo5 Public
Forked from Solo5/solo5A sandboxed execution environment for unikernels
C ISC License UpdatedMay 16, 2022 -
wiqed Public
Toy theorem prover based on the calculus of constructions
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedFeb 5, 2021 -
osv Public
Forked from cloudius-systems/osvOSv, a new operating system for the cloud.
C Other UpdatedDec 29, 2020 -
-
tokio Public
Forked from tokio-rs/tokioA runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Rust MIT License UpdatedDec 15, 2020 -
rand Public
Forked from rust-random/randA Rust library for random number generation.
Rust Other UpdatedDec 8, 2020 -
getrandom Public
Forked from rust-random/getrandomA small cross-platform library to securely get random data (entropy)
Rust Apache License 2.0 UpdatedDec 8, 2020 -
libc Public
Forked from rust-lang/libcRaw bindings to platform APIs for Rust
Rust Apache License 2.0 UpdatedNov 20, 2020 -
lib-lwip Public
Forked from unikraft/lib-lwipUnikraft port of the lwip network stack
C UpdatedNov 20, 2020 -
{{ message }}