Skip to content
View hediet's full-sized avatar

Sponsors

@charlytron
@ikod
@cristian-gavril-olar
@MadQuint
@markcandelora
@mentallabyrinth
@yoichinak
Private Sponsor
@ThomasPiskol
@takumi4424
@joelbyford
@KasparJohannesSchneider
@katoken-0215

Organizations

@microsoft @tyml @comprakt

Block or report hediet

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Agent skill: make LLMs write docs in ASD-STE100 Simplified Technical English — no AI slop

Python 1,310 43 Updated Jul 21, 2026
Lean 2 Updated Jul 11, 2026

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…

TypeScript 655 61 Updated May 1, 2026

🔌 A terminal-centric workspace manager (a "DIY-DE"), that's built for task parallelization with coding agents

229 14 Updated Mar 12, 2026
Rust 38 Updated Jan 17, 2026

JSON formatter that produces highly readable but fairly compact output.

C# 902 15 Updated Jul 12, 2026

VS Code extension for the Lean 4 programming language and theorem prover

TypeScript 300 99 Updated Jul 29, 2026

A desktop app for isolated, parallel agentic development

TypeScript 1,950 123 Updated Aug 2, 2026

Copilot Chat extension for VS Code

TypeScript 9,987 2,008 Updated May 20, 2026

SoTA open-source TTS

Python 25,821 3,440 Updated Jul 21, 2026

Chat with AI large language models running natively in your browser. Enjoy private, server-free, seamless AI conversations.

TypeScript 1,074 227 Updated Feb 18, 2026

This repo tracks the opened and merged PRs by the top SWE coding agents by OpenAI, GitHub, and others. Updates regularly.

HTML 300 24 Updated Aug 2, 2026

🧱 easy fast local-first microVM runtime and library

Rust 7,104 371 Updated Aug 1, 2026

Simple Coding Time Tracker in Visual Studio Code

TypeScript 149 17 Updated Aug 1, 2026

Making Docker and Kubernetes management easy.

TypeScript 38,112 2,871 Updated Jul 30, 2026

Open-source context retrieval layer for AI agents

Python 6,524 819 Updated Jun 5, 2026

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.

Python 10 3 Updated Apr 13, 2025
Jupyter Notebook 3 3 Updated May 16, 2024

Transparent dictionary-based row-level compression for SQLite

Rust 1,691 71 Updated Jun 30, 2025

Holistically-Attracted Wireframe Parsing [TPAMI'23] & [CVPR' 20]

Python 373 62 Updated Feb 26, 2024

Control animated gifs like a video player in Chrome

JavaScript 71 17 Updated May 25, 2026

A rust / webassembly / react app to detect the pitch of audio signals in real time

TypeScript 126 35 Updated Mar 5, 2023

Portable stenography using Plover and bluetooth keyboard emulation on a Raspberry Pi Zero W

JavaScript 188 11 Updated Aug 6, 2022

Example setup for compiling Rust code that depends on an unmodified tree-sitter crate to the web via WebAssembly (and WASI).

Rust 15 1 Updated Oct 28, 2024

Online editor to create and manipulate SVG paths

TypeScript 5,251 420 Updated Jun 18, 2026

Code to support my autonomous foosball playing robot

C++ 358 7 Updated Jun 6, 2024

A JavaScript library for rendering music notation and guitar tablature.

TypeScript 4,358 681 Updated Mar 5, 2025

The Most Complete React UI Component Library

CSS 8,321 1,234 Updated Jun 28, 2026

JSON Schema Based Editor

JavaScript 4,900 698 Updated Jul 3, 2026
Next