Paolo Bonzini

@bonzini · User

GitHub profile ↗ · Compare

Red HatMilan, Italy580 followers101 repositories

Repositories

bonzini/qboot

Minimal x86 firmware for booting Linux kernels

★ 720CForks 123

bonzini/arcstring

Atomically reference-counted thin string type with SSO for Rust

★ 1RustForks 0

bonzini/raisin

Another build system, but Rewrite It In Rust edition

★ 2RustForks 0

bonzini/cxx

Safe interop between Rust and C++

★ 0Forks 0

bonzini/munki

Managed software installation for macOS —

★ 0Forks 0

bonzini/keyvault-acmebot

Automated ACME SSL/TLS certificates issuer for Azure Key Vault (App Gateway / Front Door / CDN / others)

★ 0Forks 0

bonzini/netcat

Some experiments I made to learn IPv6 sockets

★ 63CForks 28

bonzini/gst-visualgst

VisualGST is an IDE (Integrated Development Environment) for the GNU Smalltalk (http://smalltalk.gnu.org/).

★ 8SmalltalkForks 7

bonzini/bilge

Use bitsized types as if they were a feature of rust.

★ 0RustForks 0

bonzini/attrs

An ergonomic parser library for `#[attributes]`, built on parser combinators.

★ 0RustForks 0

bonzini/flex

Fixing some mess in Flex's m4 handling

★ 6CForks 2

bonzini/cloud-hypervisor

A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.

★ 0Forks 0

bonzini/rust-qemu

temporary place for Rust bindings to QEMU (Error*, QOM)

★ 3RustForks 0

bonzini/xbmc

Kodi is an award-winning free and open source home theater/media center software and entertainment hub for digital media. With its beautiful interface and powerful skinning engine, it's available for Android, BSD, Linux, macOS, iOS, tvOS and Windows.

★ 0Forks 0