A grep-like tool which understands source code syntax and allows for manipulation in addition to search

Apache OpenDAL: One Layer, All Storage.

A code coverage tool for Rust projects

🔥 Time Travel Visual Debugger for Rust

PostgreSQL replication with DDL changes

wanderer is a self-hosted trail database. Save your adventures!

Interactive, web-based environment for exploring and visualizing TLA+ specifications.

High-precision and consistent benchmarking framework/harness for Rust

STM32 Based soldering station for JBC cartridges, 9-24 VDC and USB-PD power

LuLu is the free macOS firewall

A simple L4/L7 load balancer for grugs.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

TLA+ language support for Visual Studio Code

Cargo subcommand for viewing LLVM optimization remarks.

Concise and beautiful algorithms written in Julia

An ASCII Header Generator for Network Protocols

A network diagnostic tool

Better parametric search for components available for JLC PCB assembly

Automation tools for KiCAD

μLA: Micro Logic Analyzer for RP2040

Schematics, PCB layout, and firmware for an RFID temperature sensor

Create ridiculously fast Lexers

embedded-hal abstractions for AVR microcontrollers

Command-line sampling profiler for macOS and Linux

CoreFreq : CPU monitoring and tuning software designed for 64-bit processors.

Continuous profiling for analysis of CPU and memory usage, down to the line number and throughout time. Saving infrastructure cost, improving performance, and increasing reliability.

A memory profiler for Linux.

Mobile Shell

A beautiful, customisable New Tab page for Firefox, Chrome, and Edge.