Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

The most intuitive desktop API client. Organize and execute REST, GraphQL, and gRPC requests in a simple and intuitive app.

A massively parallel, high-level programming language

A GDB frontend for Linux.

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

[Start here!] Flow-IPC - Modern C++ toolkit for high-speed inter-process communication (IPC)

🐎 Benchmarks for Inter-Process-Communication Techniques

Backstage is an open framework for building developer portals

Convert Seurat objects to 10x Genomics Loupe files.

magic-trace collects and displays high-resolution traces of what a process is doing

Modern embedded framework, using Rust and async.

Linux kernel CVE exploit analysis report and relative debug environment. You don't need to compile Linux kernel and configure your environment anymore.

git commit --fixup, but automatic

WebAssembly Profiler based on Wazero

jq for binary formats - tool, language and decoders for working with binary and text formats

Heap profiling and ad hoc profiling for Rust programs.

NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.

A git merge driver for clang-format.

A memory safe implementation of sudo and su.

A guide plus associated utilities for the Black Magic Probe.

Collection of awesome Python types, stubs, plugins, and tools to work with them.

μLA: Micro Logic Analyzer for RP2040

File formats dissections and more...

🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds

A conda-smithy repository for ruff.

tiniest x86-64-linux emulator

A tool that automatically analyzes a Bazel build's profile and offers suggestions on how to make it faster.

Use a raspberry pi pico (rp2040) as a logic analyzer and oscilloscope with sigrok