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

Showing results

model-checking / kani

Kani Rust Verifier

Rust 2,181 86 Updated Oct 2, 2024

marcov / firecracker-initrd

Create a initrd to be used with Firecracker VMM

Shell 12 Updated Apr 3, 2020

rust-vmm / kvm-ioctls

Rust 269 105 Updated Oct 1, 2024

rust-vmm / community

rust-vmm community content

495 27 Updated Jul 22, 2024

rust-lang / backtrace-rs

Backtraces in Rust

Rust 532 245 Updated Sep 15, 2024

nathansizemore / epoll

Rust epoll wrapper

Rust 34 13 Updated Jul 3, 2023

clearlinux / kvmtool

Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git

C 55 18 Updated Oct 3, 2016

rust-lang / libc

Raw bindings to platform APIs for Rust

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

firecracker-microvm / firecracker

Secure and fast microVMs for serverless computing.

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

danderson / netboot

Packages and utilities for network booting

Go 1,483 181 Updated May 31, 2024

torvalds / linux

Linux kernel source tree

C 179,584 53,437 Updated Sep 30, 2024

eranif / codelite

A multi purpose IDE specialized in C/C++/Rust/Python/PHP and Node.js. Written in C++

C++ 2,131 455 Updated Sep 25, 2024