Lists (1)
Stars
Cargo runner for embedded targets using OpenOCD.
BlockBlock provides continual protection by monitoring persistence locations.
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, as well as software tokens such as NSS, softoken and kryoptic.
This repository contains a plugin for Obsidian for inserting and editing diagrams.net (previously draw.io) diagrams.
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
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
Schematics, PCB layout, and firmware for an RFID temperature sensor
embedded-hal abstractions for AVR microcontrollers