Skip to content
View mcwitt's full-sized avatar

Block or report mcwitt

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

This project upgrades a Gaggia espresso machine with smart controls to improve your coffee-making experience. By adding a display and custom electronics, you can monitor and control the machine mor…

C 893 242 Updated Aug 7, 2026

Review changes in diff-mode and generate a prompt for AI agents to review

Emacs Lisp 6 Updated Jun 13, 2026

Breeze is/was a numerical processing library for Scala.

Scala 3,454 690 Updated Oct 4, 2025

Worktrunk is a CLI for Git worktree management, designed for parallel AI agent workflows

Rust 6,371 232 Updated Aug 10, 2026

Agent mode for gptel

Emacs Lisp 280 50 Updated Jul 17, 2026

Monadic Context Engineering

Python 6 Updated Jan 20, 2026

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

TypeScript 28,729 1,797 Updated Jun 24, 2026

An agentic skills framework & software development methodology that works.

Shell 270,150 24,156 Updated Aug 8, 2026
Haskell 4 Updated Aug 4, 2026
Haskell 6 Updated Dec 28, 2025

Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build prova…

Lean 35 1 Updated Jul 13, 2026

A reactive notebook for Haskell

HTML 113 12 Updated Aug 8, 2026

Always up-to-date Nix package for Claude Code with hourly updates from Anthropic's native releases

Shell 467 33 Updated Aug 10, 2026

Agent Reinforcement Trainer: train multi-step agents for real-world tasks using GRPO. Give your agents on-the-job training. Reinforcement learning for Qwen3.6, GPT-OSS, Llama, and more!

Python 10,578 971 Updated Aug 10, 2026

A Nix-based configuration framework for Model Control Protocol (MCP) servers with ready-to-use packages.

Nix 283 36 Updated Aug 10, 2026

Model Context Protocol (MCP) server for connecting Claude and ChatGPT with the Intervals.icu API.

Python 332 127 Updated Aug 2, 2026

A Python script to convert the output of NVIDIA Nsight Systems (in SQLite format) to JSON in Google Chrome Trace Event Format.

Python 61 8 Updated Aug 5, 2025
Nix 91 10 Updated Aug 9, 2026

Claude Code IDE integration for Emacs

Emacs Lisp 1,640 111 Updated Aug 7, 2026

Zwift bridge for smart treadmills and bike/cyclette

C++ 826 198 Updated Aug 10, 2026

The open source coding agent.

TypeScript 195,754 25,101 Updated Aug 10, 2026
Haskell 24 Updated Mar 1, 2022

Compiling to Categories

Haskell 460 52 Updated Feb 28, 2024
Haskell 26 3 Updated Nov 11, 2025

Mathematical operations for JAX pytrees

Python 210 9 Updated Dec 5, 2024

A fast, safe, and intuitive DataFrame library.

Haskell 260 49 Updated Aug 7, 2026
Haskell 33 7 Updated Feb 16, 2026

vast.ai cli in a nix flake

Python 4 Updated Nov 2, 2025

Dotfiles

Nix 35 4 Updated Dec 22, 2025

Claude Code Emacs integration

Emacs Lisp 740 76 Updated Apr 30, 2026
Next