Starred repositories
Basic building blocks for brute-force and random symbolic regression methods in Mathematica
A secrets management service that uses Tailscale for access control
Development repository for the Triton language and compiler
A microsecond-latency ACID database engine with a native Entity-Component-System data model, built for real-time systems.
📐⚙ 2D vector line drawing and shape modeling for CNC and laser cutters.
Lean 4 programming language and theorem prover
High-Performance server for NATS.io, the cloud and edge native messaging system.
You like pytorch? You like micrograd? You love tinygrad! ❤️
Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
ZITADEL - Identity infrastructure, simplified for you.
Open Source Identity and Access Management For Modern Applications and Services
CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…
Localhost service isolation and orchestration for git worktrees.
See your claude code logs in clear details in your dashboard
From-scratch PyTorch implementation of Google's TurboQuant (ICLR 2026) for LLM KV cache compression. 5x compression at 3-bit with 99.5% attention fidelity.
your personal encyclopedia, written by agents
🌻 The collaborative editing software that runs Wikipedia. Mirror from https://gerrit.wikimedia.org/g/mediawiki/core. See https://mediawiki.org/wiki/Developer_access for contributing.
Colibri is a next-generation social chat app built on the AT protocol.
Open-source credential vault, give your AI agents access to services without exposing keys.
Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.