Takahiro Itazuri's repositories
linux-in-practice-2nd
「Linuxのしくみ 増補改訂版」の実験コードです
dynein
DynamoDB CLI written in Rust.
Language:RustApache-2.0000
firecracker
Secure and fast microVMs for serverless computing.
Language:RustApache-2.0000
Language:Less000
kani
Kani Rust Verifier
Language:RustApache-2.0000
Language:RustApache-2.0000
micro-http
A minimal HTTP implementation used by Firecracker
Language:RustApache-2.0000
mikanos-build
Build and run scripts for MikanOS
Language:ShellApache-2.0000
proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Language:RustApache-2.0000
pybuildkite
A Python library for the Buildkite API
Language:PythonBSD-2-Clause000
spectre-meltdown-checker
Spectre, Meltdown, Foreshadow, Fallout, RIDL, ZombieLoad vulnerability/mitigation checker for Linux & BSD
Language:Shell000
versionize
Versionize is a framework for version tolerant serializion/deserialization of Rust data structures, designed for usecases that need fast deserialization times and minimal size overhead.
Language:RustApache-2.0000
vmm-reference
A VMM implementation based of rust-vmm components
Language:RustApache-2.0000
vmm-sys-util
Helpers and utilities used by multiple rust-vmm components and VMMs
Language:RustBSD-3-Clause000