Stars
A blank-slate, memory-safe, ultra-high-performance property-graph database in Rust — unified MVCC/time-travel/branches/replication over a fountain-coded commit stream, WCO+factorized execution, inc…
A macOS app to view Spaces / Virtual Desktops in the menu bar
Markdown Preview Enhanced for macOS QuickLook
Comfortably monitor your Internet traffic 🕵️♂️
Free, local tool to track AI coding token usage and cost across 31 tools and agents (Claude Code, Cursor, Codex, Gemini and more), by model, project, and task. npx codeburn
Academic Research Skills for Claude Code: research → write → review → revise → finalize
A Claude Code plugin that teaches visual design — typography, color, composition, proportions, and visual hierarchy
Give your Claude Code Agent Teams a memory. Auto-injects role-specific context into every new teammate — your team never starts blind again.
BGP FlowSpec policy daemon for automated DDoS mitigation
Control Ableton Live via Open Sound Control (OSC)
Oh my tmux! My self-contained, pretty & versatile tmux configuration made with 💛🩷💙🖤❤️🤍
High-performance AI coding agent CLI written in Rust with zero unsafe code
Blazing fast and lightweight PostGIS, MBtiles and PMtiles tile server, tile generation, and mbtiles tooling.
A collection of good habits for building and using agentic systems effectively.
Intent-Based Networking with Microsoft's Z3 SMT solver. Define intent in YAML, get mathematically proven path diversity and BGP configs deployed to your routers.
A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.
Time series analysis for Rust, with bindings to Python and Javascript
Evolving the Prometheus exposition format into a standard.
A Binary Prefix Trie Implementation for looking up objects using an associated IP Address
Go RPC framework with high-performance and strong-extensibility for building micro-services.
🚀 gnet is a high-performance, lightweight, non-blocking, event-driven networking framework written in pure Go.
The Auron accelerator for distributed computing framework (e.g., Spark) leverages native vectorized execution to accelerate query processing
Repository of reference Gabriel graph, Internet Topology Zoo, SNDlib, CAIDA and synthetic backbone topologies for networking research