Skip to content
View jwintz's full-sized avatar
  • Inria
  • Sophia-Antipolis

Block or report jwintz

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

VSCode public API plugged on the monaco editor

TypeScript 490 62 Updated Jul 22, 2026

x86 PC emulator and x86-to-wasm JIT, running in the browser

JavaScript 23,346 1,868 Updated Aug 9, 2026

The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.

TypeScript 20,513 3,275 Updated Aug 4, 2026

A terminal workspace with batteries included

Rust 34,778 1,364 Updated Aug 5, 2026

Xterm/VT100 Terminal emulator in Swift

Swift 1,650 431 Updated Aug 8, 2026

Terminal Multiplexor built on top of SwiftTerm

Swift 21 2 Updated Jan 13, 2026

omo/lazycodex: The coding agent for tokenmaxxers;the one and only agent harness for complex codebases. For your Codex, for your OpenCode

TypeScript 67,523 5,507 Updated Aug 9, 2026

Pi extension for async subagent delegation with truncation, artifacts, and session sharing

TypeScript 3,044 474 Updated Aug 9, 2026

Token-efficient MCP adapter for Pi coding agent

TypeScript 1,192 245 Updated Aug 9, 2026

Packages for Pi - extensions, skills, prompt templates, and themes.

TypeScript 1 Updated Feb 11, 2026

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

TypeScript 1 Updated Feb 11, 2026

A TUI Git client inspired by Magit

Rust 2,848 156 Updated Aug 8, 2026

Drop-in replacement for system() in iOS programs

C 1,059 179 Updated Feb 9, 2026

Emacs frontend for the Pi coding agent

Emacs Lisp 250 33 Updated Aug 5, 2026

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

TypeScript 85,695 10,640 Updated Aug 9, 2026

A Powerful Logging System for Emacs Lisp

Emacs Lisp 33 Updated Dec 17, 2025

Emacs Plus formulae for the Homebrew package manager

Ruby 2,904 216 Updated Aug 9, 2026

Write Emacs packages in Swift!

Swift 85 4 Updated Jul 20, 2026

Obsidian Notes for Emacs

Emacs Lisp 559 38 Updated Apr 9, 2025

Minimalist themes for GNU Emacs

Emacs Lisp 114 9 Updated Aug 2, 2026

Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).

Emacs Lisp 892 74 Updated Jul 30, 2026

Colourful and legible themes for GNU Emacs

Emacs Lisp 580 31 Updated Jun 21, 2026

Run LLMs with MLX

Python 6,545 936 Updated Aug 5, 2026

javascript for rendering abc music notation

HTML 2,319 363 Updated Aug 7, 2026

Magit for VSCode

TypeScript 1,541 93 Updated May 8, 2026

Awesome Emacs Keymap - VSCode emacs keybinding with multi cursor support

TypeScript 531 75 Updated Aug 8, 2026

WASI libc implementation for WebAssembly

C 1,018 246 Updated Aug 7, 2026

WASI-enabled WebAssembly C/C++ toolchain

CMake 1,617 234 Updated Jul 30, 2026

wasix libc implementation for WebAssembly

C 161 31 Updated Aug 7, 2026

An innovative superfamily of fonts for code

Shell 19,540 330 Updated Mar 27, 2026
Next