-
-
asterinas Public
Forked from asterinas/asterinasAsterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust Other UpdatedDec 9, 2025 -
firecracker Public
Forked from firecracker-microvm/firecrackerSecure and fast microVMs for serverless computing.
Rust Apache License 2.0 UpdatedNov 28, 2025 -
-
summer-ospp-teaching-os Public
Forked from asterinas/summer-ospp-teaching-osAsterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
3 UpdatedSep 29, 2025 -
-
byte-unixbench Public
Forked from kdlucas/byte-unixbenchAutomatically exported from code.google.com/p/byte-unixbench
C GNU General Public License v2.0 UpdatedAug 13, 2025 -
gramine-tdx Public
Forked from gramineproject/gramine-tdxA library OS for Linux multi-process applications, with Intel TDX support (experimental)
C GNU Lesser General Public License v3.0 UpdatedAug 12, 2025 -
AtomicDisk Public
Forked from nicexlab/AtomicDiskA Secure Virtual Disk for TEEs against Eviction Attacks
Rust Other UpdatedJul 28, 2025 -
-
rustlings-exercies Public
Forked from rust-lang/rustlings🦀 Small exercises to get you used to reading and writing Rust code!
Rust MIT License UpdatedJan 1, 2025 -
-
miri Public
Forked from rust-lang/miriAn interpreter for Rust's mid-level intermediate representation
Rust Apache License 2.0 UpdatedNov 4, 2024 -
linux_binary_cache Public
Forked from asterinas/linux_binary_cacheContain a vmlinuz-5.15.0-105-generic file of Linux v5.15.0.
UpdatedOct 8, 2024 -
benchmark Public
Forked from asterinas/benchmarkThe Website for the Asterinas Benchmark. The content is generated by Benchmarks Test.
JavaScript UpdatedJul 18, 2024 -
-
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
C Other UpdatedJun 20, 2024 -
-
arceos Public
Forked from arceos-org/arceosAn experimental modular OS written in Rust.
Rust Apache License 2.0 UpdatedNov 2, 2023 -
trapframe-rs Public
Forked from rcore-os/trapframe-rsHandle TrapFrame across kernel and user space on multiple ISAs.
-
-
-
json Public
Forked from serde-rs/jsonStrongly typed JSON library for Rust
Rust Apache License 2.0 UpdatedFeb 8, 2023 -
virtio-drivers Public
Forked from rcore-os/virtio-driversVirtIO guest drivers in Rust.
Rust MIT License UpdatedNov 25, 2022 -
-
JsonPath Public
Forked from json-path/JsonPathJava JsonPath implementation
Java Apache License 2.0 UpdatedApr 26, 2022 -
-
open-pixel-art Public
Forked from twilio-labs/open-pixel-artA collaborative pixel art project to teach people how to contribute to open-source
JavaScript MIT License UpdatedFeb 16, 2022 -
RustPython Public
Forked from RustPython/RustPythonA Python Interpreter written in Rust
Rust MIT License UpdatedOct 19, 2021 -
{{ message }}