Skip to content
View mausch's full-sized avatar

Organizations

@elevate @NixOS @fsprojects @fscheck @SolrNet

Block or report mausch

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. 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

Browser terminal over Tailscale/LAN — resumable tmux sessions, scrollback, multi-session tabs, iPad on-screen keys, and image paste for AI CLIs. xterm.js + node-pty.

TypeScript 3 1 Updated Sep 23, 2026

Specula: An agentic tool for finding deep bugs in system code using TLA+

Python 489 55 Updated Sep 24, 2026

Google Cloud Knowledge Catalog Tools and Samples

TypeScript 9,287 790 Updated Sep 21, 2026

A declarative interface for every secret provider.

Rust 1,538 94 Updated Sep 23, 2026

OpenCode plugin for automatic model-tier delegation (fast/medium/heavy)

TypeScript 119 29 Updated Sep 24, 2026

Offline voice input keyboard & live subtitle tool for Android

Java 304 42 Updated Jul 19, 2026

Add Codex-style long-running goals to OpenCode

TypeScript 9 Updated Sep 4, 2026

Google Ads CLI and skills for AI agents (and humans)

TypeScript 44 4 Updated Apr 8, 2026

🐘 Linter for Postgres migrations & SQL

Rust 1,189 70 Updated Sep 24, 2026

A free, open source, and extensible speech-to-text application that works completely offline.

Rust 32,134 2,946 Updated Sep 19, 2026

A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency

Shell 279 39 Updated Sep 22, 2026

Physics-based modal synthesis piano with soundboard IR convolution, FM Rhodes, Prism, and DDSP comparison — all playable in the browser

HTML 3 1 Updated Apr 3, 2026

Piano Forte Audio Plugin

C++ 123 3 Updated Jun 10, 2024

An open source real-time piano engine and JUCE plugin based on physical modelling

C++ 171 9 Updated Aug 2, 2024

NixOS MicroVMs

Nix 2,963 232 Updated Sep 23, 2026

Fast GitHub Pull Requests

TypeScript 9 1 Updated Sep 23, 2026

A developer-friendly API for converting many document formats into PDF files, and more!

Go 13,154 853 Updated Sep 18, 2026
Rust 4 2 Updated Jan 28, 2026

Run GitHub Actions locally — pause on failure, retry in place, and keep caches on your machine.

TypeScript 791 18 Updated Sep 10, 2026
Go 61 5 Updated Sep 6, 2026

Skills for Real Engineers. Straight from my .agents directory.

Shell 269,021 22,680 Updated Sep 24, 2026

A MCP for Claude Desktop / Claude Code / Windsurf / Cursor to build n8n workflows for you

TypeScript 22,988 3,657 Updated Sep 23, 2026

VS Code in the browser

TypeScript 79,401 6,867 Updated Sep 23, 2026

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

Python 5,643 905 Updated Aug 26, 2026

The lazier way to manage everything docker

Go 52,945 1,690 Updated Apr 19, 2026

The open source coding agent.

TypeScript 209,845 27,719 Updated Sep 24, 2026

MCP server that uses reflection to provide LLM's with knowledger about dotnet classes, their members and their signatures

C# 8 1 Updated Aug 6, 2026

An MCP server for loading skills (shim for non-claude clients).

Python 401 36 Updated Jan 30, 2026

A GitHub Action invoking the Gemini CLI.

TypeScript 2,086 286 Updated Aug 21, 2026
Next