Repository Index

Agent skill for discovering TadaPay Marketplace merchants and products

A mechanisation of Wasm in Rocq

• webassembly
• wasm
• coq
• rocq-prover

Network swarm that automagically discovers other peers on the network using multicast dns

Modeling and Proving in Computational Type Theory

Nix overlay for Lean 4, and lake2nix

• lean
• lean4
• nix

TranslatedWhat to eat when working overtime: a WorkBuddy Skill for McDonald's MCP group meal planning, combo allocation, order-change repricing, and exact bill splitting

Decompiled Lunar for Roblox 1.0.16 - Electron app, NSIS installer and native DLLs

• decompilation
• electron
• javascript
• lunar-for-roblox

GTA 2 With RayTracing, HD car textures, reflective surfaces, mission voicesovers.

Code review for your own machines and your own agents. Reviews live where the code does — reached over SSH, WSL or your own tailnet. Desktop app or just a browser tab. No server, no account.

• code-review
• electron
• git
• mcp

Experimental HTTP protocol for AI agents: operation discovery, concurrency policy and human-priority scheduling.

Low-overhead sampling profiler and tracer for Ruby for Linux

• ruby
• bpf
• performance
• profilers

Time-series database and pub/sub messaging server for IoT and real-time devices, in Go: an embeddable storage engine with TTLs, wildcard topics and encryption, and a clustered server over gRPC, TCP and WebSocket with replication and rolling upgrades.

• database
• timeseries
• iot
• timeseries-database

Discover standalone Quest ports. Keep your installed mods updated.

• game-ports
• meta-quest
• mod-installer
• quest-3

RISC-V Specification in Coq

Alf is an out of this world super fast and configurable framework for zsh; it's modeled after Prezto and Antigen while utilizing Oh My Zsh under the covers; and offers standard defaults, aliases, functions, auto completion, automated updates and installable prompt themes and plugins.

Persistent remote terminals over QUIC and TLS WebSocket, built on libghostty-vt (Rust)

Rescue data from failing drives: ddrescue-style imaging, partition detection, NTFS recovery incl. deleted files, and file carving. Portable for Windows and Linux.

• data-recovery
• ddrescue
• disk-imaging
• file-carving

TranslatedA circuit-breaker and reconnector for dsh, aimed at network/large model API fluctuations during long tasks, preventing tasks from stalling; it switches between different channels and models to keep completing the task. Supports web and CLI.

• deepseek-harness
• dsh
• dsh-plugin
• failover

Some tools one can use for doing microservices with Vert.x

AI Agent Lockout Backup Kit A vendor-independent continuity kit for backing up, rotating, and recovering information used by AI agents—without storing secrets in the agent or in GitHub. Check out Muse, your personal AI agent. Code: 5F2V31 https://muse.ai/join

• ai-agent
• ai-agents
• backup
• lock

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

• coq-library
• real-number
• coq
• coq-ci

:jeans:Multi-Package go project coverprofile for tools like goveralls

• coverprofile

🤖 dataloader-codegen is an opinionated JavaScript library for automatically generating DataLoaders over a set of resources (e.g. HTTP endpoints).

• graphql
• dataloader
• nodejs

Turn intent into work. Open-source Desktop/Web agent harness with long-horizon memory, live evaluation and recoverable batches.

• agentic-ai
• browser-automation
• computer-use-agents
• desktop-automation