Stars
CodeVisualizer is a powerful VS Code extension that provides two main visualization capabilities: function-level flowcharts for understanding code control flow, and codebase-level dependency graphs…
🔌 A terminal-centric workspace manager (a "DIY-DE"), that's built for task parallelization with coding agents
JSON formatter that produces highly readable but fairly compact output.
VS Code extension for the Lean 4 programming language and theorem prover
A desktop app for isolated, parallel agentic development
Copilot Chat extension for VS Code
Chat with AI large language models running natively in your browser. Enjoy private, server-free, seamless AI conversations.
This repo tracks the opened and merged PRs by the top SWE coding agents by OpenAI, GitHub, and others. Updates regularly.
🧱 easy fast local-first microVM library and toolkit
Simple Coding Time Tracker in Visual Studio Code
Making Docker and Kubernetes management easy.
Open-source context retrieval layer for AI agents
Datasets for OMR, tools for their processing and a pretrained YOLOv8 model for music notation recognition. 7013 images with almost half a million bounding boxes.
Transparent dictionary-based row-level compression for SQLite
Holistically-Attracted Wireframe Parsing [TPAMI'23] & [CVPR' 20]
Control animated gifs like a video player in Chrome
A rust / webassembly / react app to detect the pitch of audio signals in real time
Portable stenography using Plover and bluetooth keyboard emulation on a Raspberry Pi Zero W
Example setup for compiling Rust code that depends on an unmodified tree-sitter crate to the web via WebAssembly (and WASI).
Online editor to create and manipulate SVG paths
Code to support my autonomous foosball playing robot
A JavaScript library for rendering music notation and guitar tablature.
The Most Complete React UI Component Library
TypeScript Compiler API wrapper for static analysis and programmatic code changes.