domodwyer's Stars
mobile-shell/mosh
Mobile Shell
objective-see/LuLu
LuLu is the free macOS firewall
koute/bytehound
A memory profiler for Linux.
parca-dev/parca
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.
fujiapple852/trippy
A network diagnostic tool
maciejhirsz/logos
Create ridiculously fast Lexers
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
joelshepherd/tabliss
A beautiful, customisable New Tab page for Firefox, Chrome, and Edge.
mstange/samply
Command-line sampling profiler for macOS and Linux
cyring/CoreFreq
CoreFreq : CPU monitoring and tuning software designed for 64-bit processors.
renode/renode
Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems
yaqwsx/KiKit
Automation tools for KiCAD
mossr/BeautifulAlgorithms.jl
Concise and beautiful algorithms written in Julia
Rahix/avr-hal
embedded-hal abstractions for AVR microcontrollers
Flomp/wanderer
wanderer is a self-hosted trail database. Save your adventures!
luismartingarcia/protocol
An ASCII Header Generator for Network Protocols
dotcypress/ula
μLA: Micro Logic Analyzer for RP2040
apache/mynewt-nimble
Apache mynewt
yaqwsx/jlcparts
Better parametric search for components available for JLC PCB assembly
AxxAxx/AxxSolder
STM32 Based soldering station for JBC cartridges, 9-24 VDC and USB-PD power
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
manojkarthick/pqrs
Command line tool for inspecting Parquet files
tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Kobzol/cargo-remark
Cargo subcommand for viewing LLVM optimization remarks.
benkrasnow/Temperature_sensing_stirbar
Schematics, PCB layout, and firmware for an RFID temperature sensor
iai-callgrind/iai-callgrind
High-precision and consistent benchmarking framework/harness for Rust
will62794/tla-web
Interactive, web-based environment for exploring TLA+ specifications.
jdockerty/gruglb
A simple L4/L7 load balancer for grugs.
influxdata/influxdb-iox-client-go
InfluxDB/IOx Client for Go
stormasm/ioxnotes
legacy folder of old dbnotes see link below for the new notes