Skip to content
View pauldub's full-sized avatar
🐱
🇫🇷 🇧🇪
🐱
🇫🇷 🇧🇪

Block or report pauldub

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 supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A prompt engineering functional programming language

Haskell 463 37 Updated Nov 5, 2025

The ACP implementation for Claude Code

TypeScript 240 11 Updated Sep 8, 2025

Kumi is a declarative rules-and-calculation DSL for Ruby that staticaly analyzes and compiles your business logic.

Ruby 67 2 Updated Nov 5, 2025

NixOS MicroVMs

Nix 1,973 154 Updated Nov 3, 2025

Your friendly neighborhood expand-region clone

Emacs Lisp 97 3 Updated Sep 19, 2025

Claude Code IDE integration for Emacs

Emacs Lisp 1,143 58 Updated Sep 15, 2025

The AI coding agent built for the terminal.

TypeScript 31,670 2,452 Updated Nov 5, 2025

Ruby gems for general-purpose AI agent systems: automation, research, data processing, customer support, content creation. SwarmSDK provides single-process orchestration, persistent memory with sem…

Ruby 1,446 109 Updated Nov 5, 2025

MCP-NixOS - Model Context Protocol Server for NixOS resources

HTML 322 16 Updated Oct 18, 2025

📼 Launch your Helm tests like a space mixtape - record, replay, no code required!

Python 7 Updated Oct 16, 2025

Real-time Claude Code usage monitor with predictions and warnings

Python 5,631 268 Updated Sep 14, 2025

🧩 Claude Code Neovim IDE Extension

Lua 1,325 95 Updated Oct 19, 2025

Containerization is a Swift package for running Linux containers on macOS.

Swift 8,040 211 Updated Nov 5, 2025

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 21,968 511 Updated Nov 4, 2025

CLI for running large numbers of coding agents in parallel with git worktrees

Go 525 21 Updated Jun 4, 2025

Generate a NixOS config from a Docker Compose project.

Go 698 13 Updated Nov 3, 2025

A demo of a Unison MCP server

Python 3 Updated May 22, 2025

Manage multiple AI terminal agents like Claude Code, Aider, Codex, OpenCode, and Amp.

Go 5,020 334 Updated Aug 28, 2025

Collection of apple-native tools for the model context protocol.

TypeScript 2,785 227 Updated Aug 11, 2025

Jupyter notebooks in the terminal

Python 2,257 51 Updated Oct 31, 2025

Open Source realtime backend in 1 file

Go 52,430 2,800 Updated Nov 4, 2025

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

Emacs Lisp 775 48 Updated Nov 5, 2025

Power of Kubernetes, Simplicity of Heroku

Ruby 2,532 101 Updated Nov 3, 2025

A collection of Nix utilities to work with Python projects [maintainer=@adisbladis]

Nix 267 32 Updated Oct 14, 2025

The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]

Nix 1,108 55 Updated Oct 30, 2025

A sliding, tiling window manager for MacOS.

Rust 244 11 Updated Nov 3, 2025

Easy web analytics. No tracking of personal data.

Go 5,235 243 Updated Sep 6, 2025

Helix keybindings in Emacs

Emacs Lisp 68 7 Updated Oct 11, 2025
Next