Starred repositories
Concuerror is a stateless model checking tool for Erlang programs.
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
NanoMDM is a minimalist Apple MDM server and library heavily inspired by MicroMDM
ESP-Claw, a "Chat Coding" AI agent framework for IoT devices
SQL powered operating system instrumentation, monitoring, and analytics.
Key-value store attached to git commits using Git notes
OneCamp: self-hosted all-in-one workspace (chat, tasks, video calls, docs, calendar & AI)
A network event stream processing system, in Clojure.
Learn how to connect your Flexispot (LoctekMotion) desk to the internet. This repository contains a collection of scripts to get your started, combined with research and instructions.
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Fast, accurate & comprehensive text measurement & layout
TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model developed by Google Research for time-series forecasting.
A curated list of awesome deterministic simulation testing resources 😎
eBPF-based Networking, Security, and Observability
Distributed Async Await — Durable Executions, Dead Simple
Run OpenClaw more securely inside NVIDIA OpenShell with managed inference
Generate realistic IoT test data and send it via MQTT, HTTP, or TCP.
A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物
A+ Grade AI Agent Security Framework - Military-grade protection against prompt injection, command injection, and Unicode bypass attacks
A curated collection of essential resources, tools, and playbooks to help founders build, launch, and scale startups successfully.
Beads - A memory upgrade for your coding agent
Open-source orchestration for zero-human companies
FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
AI agent skill that researches any topic across Reddit, X, YouTube, HN, Polymarket, and the web - then synthesizes a grounded summary