8000 mcwitt (Matt Wittmann) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View mcwitt's full-sized avatar

Organizations

@marin-community

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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 995 304 Updated Nov 7, 2026

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

Emacs Lisp 9 Updated Jun 13, 2026

Breeze is/was a numerical processing library for Scala.

Scala 3,457 688 Updated Oct 4, 2025

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

Rust 11,981 465 Updated Nov 7, 2026

Agent mode for gptel

Emacs Lisp 319 54 Updated Oct 12, 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 30,947 1,945 Updated Oct 15, 2026

An agentic skills framework & software development methodology that works.

Shell 314,193 27,959 Updated Nov 3, 2026
Haskell 4 Updated Nov 3, 2026
Haskell 7 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 50 2 Updated Aug 30, 2026

A reactive notebook for Haskell

HTML 117 12 Updated Oct 31, 2026

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

Shell 514 36 Updated Nov 8, 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,848 1,013 Updated Nov 8, 2026

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

Nix 312 38 Updated Nov 8, 2026

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

Python 388 222 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 92 12 Updated Nov 8, 2026

Claude Code IDE integration for Emacs

Emacs Lisp 1,688 119 Updated Sep 14, 2026

Zwift bridge for smart treadmills and bike/cyclette

C++ 901 245 Updated Nov 8, 2026

The open source coding agent.

TypeScript 225,328 30,417 Updated Nov 8, 2026
Haskell 27 2 Updated Mar 1, 2022

Compiling to Categories

Haskell 463 53 Updated Feb 28, 2024
Haskell 29 3 Updated Nov 11, 2025

Mathematical operations for JAX pytrees

Python 209 9 Updated Dec 5, 2024

A fast, safe, and intuitive DataFrame library.

Haskell 272 53 Updated Nov 1, 2026
Haskell 34 7 Updated Feb 16, 2026

vast.ai cli in a nix flake

Python 4 Updated Nov 2, 2025

Dotfiles

Nix 34 2 Updated Dec 22, 2025

Claude Code Emacs integration

Emacs Lisp 749 79 Updated Apr 30, 2026
Next
0