A dynamic library providing Virtualization-based process isolation capabilities

muvm - run programs from your system in a microVM

PX4 Autopilot Software

The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

NixOS MicroVMs

Research on the internal workings of Google's Play Integrity Protect Virtual Machine (VM) with tools for both disassembling and decompiling the bytecode.

Write a recipe in minutes to convert your dApp to a zkApp.

SDK library to develop RAILGUN wallets

A reimplementation of hackrf_sweep as a library

An awesome list of e-graph resources

A scrollable-tiling Wayland compositor.

Dynamic injection tool for Linux/Android

Lightning-fast and Powerful Code Editor written in Rust

Visualization tool for your IO-uring workload

An extremely fast Python package and project manager, written in Rust.

Binary Only Thread Sanitizer

Sharp and simple graphics library

Cab, the reproducible derivation composer and builder-protocol client.

Meaningful control of data in distributed systems.

`serde-json` for `no_std` programs

Open-source Auth0/Clerk alternative

cables is a tool for creating beautiful interactive content

Extremely fast non-cryptographic hash algorithm

一个Android通用svc跟踪以及hook方案——Frida-Seccomp

Function signature matching and signature generation plugin for Binary Ninja

An alternate Cargo registry using static files

The financial transactions database designed for mission critical safety and performance.

Brushing and linking for big data