A new markup-based typesetting system that is powerful and easy to learn.

A performance dashboard for Postgres

A web based data mining tool for OpenStreetMap using the Overpass API.

C++ Insights - See your source code with the eyes of a compiler

A ChordPro file parser and editor for macOS Sonoma. Show the song with the chords for guitar, guitalele or ukulele and export them to PDF.

Show keyboard, gamepad and mouse input on stream

A community-maintained Python framework for creating mathematical animations.

A Valgrind tool for Herbie

A hardware agnostic Tamagotchi P1 emulation library

Attribute macro to require that the compiler prove a function can't ever panic

XLAT USB-HID Latency Measurement Tool

The official Google release of packetdrill

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

Mount Android phones on Linux with adb. No root required.

Platform for Architecture-Neutral Dynamic Analysis

𝗗𝗮𝘁𝗮, 𝗔𝗻𝗮𝗹𝘆𝘁𝗶𝗰𝘀 & 𝗔𝗜. Modern alternative to Snowflake. Cost-effective and simple for massive-scale analytics. https://databend.com

Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.

Tool to work with Signal Backup files.

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

A library that allows you to easily mock out tests based on AWS infrastructure.

Krita is a free and open source cross-platform application that offers an end-to-end solution for creating digital art files from scratch built on the KDE and Qt frameworks.

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

Collection of miscellaneous portable C snippets.

eBPF based always-on profiler auto-discovering targets in Kubernetes and systemd, zero code changes or restarts needed!

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…

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!

git commit --fixup, but automatic

Move and resize windows on macOS with keyboard shortcuts and snap areas

gfxCardStatus is an open-source menu bar application that keeps track of which graphics card your unibody, dual-GPU MacBook Pro is using at any given time, and allows you to switch between them on …