larryhastings / blanket

Deterministic testing of multithreaded Python code.

warrant-dev / warrant

Warrant is a highly scalable, centralized authorization service based on Google Zanzibar. Use it to define, enforce, query, and audit application authorization and access control.

aserto-dev / topaz

Cloud-native authorization for modern applications and APIs

authzed / spicedb

Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data

qnx-ports / perfetto

Production-grade client-side tracing, profiling, and analysis for complex software systems.

pyinfra-dev / pyinfra

🔧 pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fas...

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

lixiasky-back / coroTracer

A cross-language, zero-copy coroutine observability framework based on the cTP shared-memory protocol, utilizing lock-free ring buffers for ultra-low overhead state tracing.

nidhugg / nidhugg

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently...

tokio-rs / loom

Concurrency permutation testing tool for Rust.

haidog-yaqub / DiffPitcher

Diffusion-based singing voice pitch correction

hauntsaninja / git_bayesect

Bayesian git bisect

buildbuddy-io / reninja

Reninja: faster, more observable ninja builds

microsoft / RustTraining

Beginner, advanced, expert level Rust training material

php / frankenphp

🧟 The modern PHP app server

sashiko-dev / sashiko

Agentic review of Linux Kernel code changes

rust-lang / polonius

Defines the Rust borrow checker.

colmap / colmap

COLMAP - Structure-from-Motion and Multi-View Stereo

tale / headplane

A feature-complete Web UI for Headscale

juanfont / headscale

An open source, self-hosted implementation of the Tailscale control server

tokio-rs / simulation

Framework for simulating distributed applications

madsim-rs / madsim

Magical Deterministic Simulator for distributed systems in Rust.

quic / gunyah-hypervisor

Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.

CyberTimon / RapidRAW

A beautiful, non-destructive, and GPU-accelerated RAW image editor built with performance in mind.

google / honggfuzz

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

bazel-contrib / rules_fuzzing

Bazel Starlark extensions for defining fuzz tests in Bazel projects

PyCQA / bandit

Bandit is a tool designed to find common security issues in Python code.

MarginResearch / cannoli

High-performance QEMU memory and instruction tracing

localstack / localstack

💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

pytest-dev / pyfakefs

Provides a fake file system that mocks the Python file system modules.