Skip to content
View dianpopa's full-sized avatar
141 followers · 9 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Block or report dianpopa

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

6 stars written in Rust
Clear filter

firecracker-microvm / firecracker

Secure and fast microVMs for serverless computing.

Rust 25,369 1,768 Updated Oct 2, 2024

model-checking / kani

Kani Rust Verifier

Rust 2,181 86 Updated Oct 2, 2024

rust-lang / libc

Raw bindings to platform APIs for Rust

Rust 2,069 1,035 Updated Oct 2, 2024

rust-lang / backtrace-rs

Backtraces in Rust

Rust 532 245 Updated Sep 15, 2024

rust-vmm / kvm-ioctls

Rust 269 105 Updated Oct 1, 2024

nathansizemore / epoll

Rust epoll wrapper

Rust 34 13 Updated Jul 3, 2023