8000 eproxus (Adam Lindberg) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View eproxus's full-sized avatar

Sponsors

@emqx

Organizations

@grisp

Block or report eproxus

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

Orchestrate multiple coding agents from desktop and mobile

TypeScript 23,510 2,885 Updated Nov 8, 2026

Kill shader compilation stutter before you play. Compiles your games' shaders into the GPU driver's cache ahead of time. Windows, NVIDIA and AMD.

C# 4,416 129 Updated Nov 6, 2026

Use a Work Louder Codex Micro as a controller for the Rex terminal

Go 4 Updated Nov 6, 2026

Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)

Lean 192 9 Updated Nov 8, 2026

macOS CLI for OCR and searchable PDFs using Apple's Vision framework

Swift 549 22 Updated Oct 17, 2026

🖥️ macOS status monitoring app written in SwiftUI.

Swift 9,958 382 Updated May 25, 2024

Agent skill: make LLMs write docs in ASD-STE100 Simplified Technical

Python 4,300 185 Updated Oct 5, 2026

A mise environment plugin that resolves 1Password CLI secret references into environment variables.

Lua 10 Updated Feb 16, 2026

A native macOS launcher for everyday productivity. Lightweight and open source.

Swift 9,286 573 Updated Nov 8, 2026

Beautiful markdown in your terminal

Python 14 2 Updated Sep 11, 2026

Make your mouse pressure sensitive.* *for analog mice

Python 4 1 Updated Aug 25, 2026

LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar

Python 23,459 2,107 Updated Nov 8, 2026

📝 A markup-aware linter for prose built with speed and extensibility in mind.

Go 6,350 238 Updated Nov 7, 2026

Wacom Driver Slim Installation

2 Updated Nov 2, 2024

✨ Making your shell magical

Rust 32,235 1,027 Updated Nov 7, 2026

Vimium-style keyboard hint navigation for Windows. Press a global hotkey, type letter hints overlaid on UI controls, and activate them without touching the mouse.

Rust 1 Updated Jun 21, 2026

Shadow any website for offline viewing, with the JavaScript stripped out

Go 3,531 136 Updated Aug 10, 2026

Fast JSON/YAML/CSV encoder/decoder for Erlang and Elixir

C++ 35 7 Updated Oct 24, 2026

Head tracking software for MS Windows, Linux, and Apple OSX

C++ 5,264 573 Updated Nov 6, 2026

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Swift 51,106 1,807 Updated Nov 6, 2026

🐹 Open-source Mac and PC cleaner. Keep your machine clean, light, and running like new. Fast CLI, plus native Mac and Windows apps.

Shell 74,267 2,665 Updated Nov 8, 2026

Generate hands-on, multi-part technical tutorials on demand, with LLM skills tuned to make content approachable. Then you work through them yourself, by hand ✋

Go 1,717 52 Updated Nov 7, 2026

PostgreSQL in-database durable execution

Rust 2,848 82 Updated Nov 6, 2026

Bug tracking and more for Mouseless

734 4 Updated Oct 26, 2026

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

Shell 318,353 26,644 Updated Nov 5, 2026

Routing module for OTP's built-in httpd web server

Erlang 5 Updated May 26, 2026

Terminal-based HTTP/REST client

Rust 1,235 41 Updated Oct 31, 2026

A constant throughput, correct latency recording variant of wrk

C 4,641 424 Updated Mar 3, 2024

Find the local LLM that actually runs and performs best on your hardware. Ranked by real, recency-aware benchmarks, not parameter count. One command, run it instantly.

Python 6,830 378 Updated Nov 4, 2026
Next
0