Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…

Official documentation for getting things done with Nix.

Data Plane Development Kit

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework

The seL4 microkernel

Raw bindings to platform APIs for Rust

The Xous microkernel

vHive: Open-source framework for serverless experimentation

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Pragmatic microkernel-based OS with fully asynchronous I/O

A native gRPC client & server implementation with async/await support.

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Home of OpenVMM and OpenHCL

A specialized hypervisor for Hermit.

Desktop Bitcoin Wallet focused on security and privacy. Free and open source.

Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

Visualize Ownership and Lifetimes in Rust

OpenAI API client library for Rust (unofficial)

Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functiona…

Lista de eventos tech que acontecem no Brasil

Kernel-Bypass LibOS Architecture

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.

Bitcoin Core integration/staging tree

Adding support for the Rust language to the Linux kernel.

Automatic Generation of Benchmarks to Stress-Test Computing Systems.

SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.

Powerful File Content Search and Listing Tool

Ergonomic and modular web framework built with Tokio, Tower, and Hyper