Apple Silicon PMU counter benchmark

Affirmative, Master!!!

Free Weather Forecast API for non-commercial use

A set of tools to manage objects on PKCS#11 cryptographic tokens. Compatible with many PKCS#11 library, including major HSM brands, NSS and softoken.

A Toolchain for Rust Debuginfo

Git blame for file trees

A formatter for the TLA+ language.

This repository contains a plugin for Obsidian for inserting and editing diagrams.net (previously draw.io) diagrams.

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 playground for exploring and sharing TLA+ specifications in the browser.

High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.

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

LuLu is the free open-source 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

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