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 and fast microVMs for running untrusted workloads
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.
A VSCode extension that allows you to use browser devtools from within the editor. The devtools will connect to an instance of Microsoft Edge giving you the ability to alter CSS styling, perform di…