Lists (1)
Stars
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
Everything you need to extend Raycast.
The open-source app everyone uses to manage agents at work
Reverse engineer anything with agents, from app behavior down to native binaries.
Sculpted and curved keycaps for Kailh Choc and MX switches
A Python port of Pi’s minimalist coding agent.
Lean 4 programming language and theorem prover
Orca lets you run a fleet of coding agents (e.g. Claude Code, Codex) with your own subscription. Available on desktop, mobile and remote runtime.
code for Data Science From Scratch book
data-science-from-scratch of joelgrus
Multi-model orchestration layer for Claude Code — the frontier model plans, cheaper models execute, verification guards quality. One-prompt install.
Industrial design files for Keychron keyboards and mice. 100+ models with CAD assets in STEP, DXF, DWG, and PDF. Source-available, with commercial use allowed for original compatible accessories wi…
A cli that shows a GitHub-like language usage statistics bar.
barely is a lightweight, but highly extensible static site generator written in pure python.
A proof of concept of googles TurboQuant Paper https://arxiv.org/abs/2504.19874
A collection of programming and computation resources.
TINMORRY filament profiles for Bambu 3d printers
PC Software for BambuLab and other 3D printers
NDLOCR-Liteアプリケーションのリポジトリ（ソースコードを含む）NDLOCR‑Lite application repository (including source code)
Data and methodology for the Big Mac index
Virtual whiteboard for sketching hand-drawn like diagrams
Raspberry Pi Pico (RP2040) based IPL replacement modchip for GameCube
Micropython Agentic AI Framework for Raspberry Pi Pico W
battery driver and panel fix for hbp q20 with cm5