A tool for creating and managing competitive programming problems
Developer tools projects
Loading…
Loading…
Public projects with traces of AI coding tools in their repositories, sorted by newest listing.
A tool for creating and managing competitive programming problems
Free, open-source macOS app by Jordy Thery that migrates Jamf Pro classic configuration profiles for macOS and mobile devices into Jamf Blueprints with Apple's in-place Classic-to-DDM transform.
Runic generates typed TypeScript clients for .NET ViewModels and opens React, Vue, Svelte or Angular frontends in native windows on Windows, macOS and Linux.
All of Android, from Python — a reflection RPC for Android phones.
Beautiful, themeable GitHub star cards for your profile README.
All 324 Heroicons for Svelte 5 in outline and solid, through one typed <Icon name> component or a tree-shakeable component per icon. Search and copy the code.
A quality scanner for websites built for government websites.
GPUqueue: a Windows-first reference implementation for coordinating local Ollama requests and managed GPU workloads.
A terminal-first AI workspace where you run Claude Code, Codex, OpenCode and more, locally or in sandboxes on your own hardware, with your keys or local models.
The modern library to interact with the TickTick API.
Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see ST
Translation pending
Everything is writable, except the Root. Grows with every model.
Summary Type names as reported by the dotnet runtime are in a cryptic, non-human-readable format. Attempts by many to solve …
Translation pending
Set up cloud infrastructure, deploy applications from Git, and give your team a repeatable way to ship. See how Planton works in your cloud.
Scrypath is an open-source Elixir library for declarative, Ecto-native search indexing and search orchestration for Phoenix and Ecto teams.
Laravel Telescope-style observability for AdonisJS — a generic capture spine records every HTTP request, every Lucid query, and every Agora diagnostics event as a queryable entry, browsable from a sel
Laravel CRUD generator: classic CRUDBooster on PHP 8.2+ and Laravel 12/13
Translation pending
A local macOS buddy that watches your coding-agent sessions and lets you approve, answer, and review without hunting through terminal tabs.
An MCP server over a Foursquare Swarm check-in history, back to the first check-in
Translation pending
Low-latency audio for Android and iOS with the Android package and Expo module.
Mire is a local, terminal-based code review environment for humans and agents.
An integrated development environment for the terminal.
Give Claude Code structured AutoHotkey errors, source locations, and verification results. See a real error, Claude's diagnosis, and the corrected script's successful rerun.
Transforma qualquer textarea em um editor completo. Seguro, acessível e com um único arquivo.
Translation pending
Run ProbLog programs in the browser: tddlog compiles them into tree decision diagrams and gives each query's exact probability.
Gyros — A JavaScript library for creating shiny effects on HTML elements using gyroscope or mouse movement.
Shared design-system components for MindAttic apps, organized by toolchain: WPF controls and themes for the desktop apps, small per-component Blazor packages for the web apps, and a JS bundle for the
The type-checker for PostgreSQL migrations: check a proposed schema change against your production data's shape and get a machine-readable verdict.
WorkForge is a Windows MCP gateway that lets ChatGPT inspect files, resume Git work, make SHA-guarded edits, read images, and run supervised PowerShell jobs.
Bidirectional stdio ↔ HTTP gateway for MCP servers — connect clients to remote servers or publish local servers
Translation pending
Let Claude (or any MCP client) see a jailbroken PS5's screen and press its buttons: virtual-controller payload + MCP server
Translation pending
MCP server for AI-driven debugging of live Erlang/Elixir OTP nodes: hidden-node attach, recon-based diagnostic battery, safe tracing, snapshot/diff
Translation pending
Building Developer Tools for Rust
Herramienta de escritorio en Java para explorar, simular y aprender el protocolo IEC 61850. Software libre bajo GPL v3.
Translation pending
Free macOS menu bar app for claude-swap. See the 5-hour, weekly and per-model quota of every Claude Code account and switch with one click.
Builder of JenerOS, an open-source home server OS with a liquid-glass dashboard.
Enterprise-ready framework for Micro Frontends composition into SPA with SSR & i18n support
🦊 Firefox with a built-in AI reverse-engineering Agent — a general JS/JSVMP/WASM/signature reversing workstation, with non-intrusive trace at the SpiderMonkey engine layer, restoring encrypted parameters from a black box into pure algorithms that do not depend on a browser.
AI translation
A software project to provide the target tracking community with a framework for the development and testing of tracking algorithms.
QuantLib, a free/open-source library for quantitative finance
Manage Claude Code, Codex, and Cursor sessions across your computers and phone. ccmux combines tmux, Tailscale, and MCP in one terminal dashboard.
Kgateway is a feature-rich, fast, and flexible API gateway that is built on top of Envoy proxy and the Kubernetes Gateway API. It excels in function-level routing, supports legacy apps, microservices
Graph-driven OSINT in Maltego Desktop is point-and-click work, so the agent that just reasoned over your indicators has to dictate clicks to a human. malte
This is a high-performance cross-platform video processing Python framework powerpacked with unique trailblazing features :fire:
AI translation
Relax! Flux is the ML library that doesn't make you tensor
Cross-platform Swift implementation of UIKit, mostly for Android
Translation pending
A small strip on top of your Mac's screen that shows Claude Code's model, effort, and usage limits. Free and open source. Unofficial.
Independent verification for coding-agent changes. Compare a sealed baseline with a candidate, run your own checks, and inspect the evidence behind the verdict.
Visual traceroute desktop app. Run traceroute from your network, enrich hops with GeoIP and ASN metadata, and animate routes on a 3D globe.
Security, error format, messaging and observability written once, tested on a real PostgreSQL and RabbitMQ, and published on Maven Central under com.krizaka. Import one BOM; a service writes only its
Translation pending
AWX provides a web-based user interface, REST API, and task engine built on top of Ansible. It is one of the upstream projects for Red Hat Ansible Automation Platform.
A set of Rust crates for parsing, interpreting and rendering PDF files.
This is a library for building distributed, real-time collaborative web applications.
AI translation
The all-in-one toolkit for modern frontends. High-quality components, app recipes and AI-ready docs.
Connect any AI copilot or autonomous agent to your enterprise tools — through a single, secure MCP/Agent gateway with built-in identity, access control, and full observability.
a laravel package to work with visitors and retrieve their informations
SonicJS - The edge-native headless CMS for Cloudflare Workers. Sub-100ms response times, zero cold starts, TypeScript-first. Built on D1, R2, and Hono.
Expose local HTTP, TCP, and WebSocket services on public URLs with a self-hosted tunnel, local request inspector, replay, and team controls.
Zetta is an efficient closed-loop embodied harness for self-evolving physical intelligence. It evolves code-based runtime critics and recovery skills online while keeping the base policy frozen. Proje
Stock Indicators for .NET is a C# NuGet package that transforms raw equity, commodity, forex, or cryptocurrency financial market price quotes into technical indicators and trading insights. You'll nee
Open source observability warehouse on ClickHouse. Send logs, metrics, traces and profiles with the agents you already run, and query them in Grafana with no plugins. Flat pricing, your infrastructure
C++ Library Manager for Windows, Linux, and MacOS
Parse browser forms into structured JavaScript objects. Six adapters — React hooks, vanilla DOM, jQuery, FormData, and more. One coherent API.
A simple, expressive, extensible Liquid template engine for JavaScript — Shopify, Jekyll and GitHub Pages compatible, for Node.js, browsers, and the CLI, with TypeScript support.
Build dataflows in YAML, run nodes in Rust/Python/C/C++. Zero-copy shared memory, four communication patterns, built-in fault tolerance, record/replay, and cluster management.
ZXC is a lossless compression C library for write-once, read-many data. It decodes faster than LZ4 at a smaller size, with seekable archives, dictionaries and SIMD on ARM and x86.
OAuth client integration for Symfony. Supports both OAuth1.0a and OAuth2.
Analog is the fullstack meta-framework for Angular. Vite-based, with file-based routing, API routes, SSR and SSG.
Django application and library for importing and exporting data with admin integration.
Krkn - Chaos and resiliency testing tool for Kubernetes
Inspired by Sweave, the knitr package was designed to be a transparent engine for dynamic report generation with R, and combine features in other add-on packages into one package (knitr ≈ Sweave + &he
This is next-generation distributed, event-driven, and parallel config management!
AI translation
BuildBuddy is an open source Bazel build event viewer, result store, remote cache, and remote build execution platform.
Python framework for integrating geospatial data, 3D city modeling, and urban simulation.
Secure client/server protocol for multiplayer games built on top of UDP
New Relic Node.js agent code base. Developers are welcome to create pull requests here, please see our contributing guidelines. For New Relic technical support, please go to http://support.newrelic.co
schemd (pronounced “skemd”) compiles lines of text into routed, accessible, deterministic SVG drawings of electrical, digital, quantum and UML diagrams. No dependencies, Node 24 or newer.
📄 This is an awesome OCR toolkit for multiple programing languages based on ONNX Runtime, OpenVINO, MNN, PaddlePaddle, TensorRT and PyTorch.
AI translation
Hunk is a review-first terminal diff viewer for agent-authored changesets. Multi-file review stream, inline AI annotations, watch mode, TypeScript extensions, and Git/Jujutsu integration.
Node.js test runner that lets you develop with confidence 🚀
pdfcpu provides a Go API and CLI for validating, optimizing, splitting, merging, extracting, and transforming PDF files. It supports command-line workflows, server-side automation, and direct PDF cont
One framework to evaluate any VLA model on any robot simulation benchmark.
Translation pending
Selenium is a browser automation tool that gives you full control over Chrome, Firefox, Edge and Safari. Write your scripts in Java, Python, C#, Ruby, JavaScript or Kotlin using the official W3C WebDr
Give your team and AI tools a single source of truth for proven, trusted components.
🌲 This is a drop-in module that adds autoUpdating capabilities to Electron apps
AI translation
mRemoteNG is the next generation of mRemote, open source, tabbed, multi-protocol, remote connections manager.
Send and receive SMS text messages from your own Android number. REST API, dashboard, n8n and Zapier, for developers, startups and small businesses. Free tier, open source.
This is Rocq, a general-purpose, industrial-strength interactive theorem prover.
AI translation
ShopifyAPI is a lightweight gem for accessing the Shopify admin REST and GraphQL web services.
WarpDrive is the lightweight data library for ambitious web apps — universal, typed, reactive, and ready to scale.
This is a WebRTC/RTSP/RTMP/HTTP/HLS/HTTP-FLV/WebSocket-FLV/HTTP-TS/HTTP-fMP4/WebSocket-TS/WebSocket-fMP4/GB28181/SRT/STUN/TURN server and client framework based on C++11.
AI translation
Toastification is a Flutter package for displaying customizable toast messages. It provides predefined widgets for success, error, warning, and info messages, as well as a custom widget for flexibilit
Connect ScribeToAny to ChatGPT, Claude, Cursor or any MCP client: remote MCP server URL, OAuth sign-in, the seven tools and their limits.
The open source MCP platform trusted by developers and enterprises ToolHive is Stacklok’s popular open source MCP platform. ToolHive is built by the team behind Kubernetes and is maintained by both St
Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)
Free, local dictation for developers on Apple Silicon. Built for talking to coding agents. Nothing leaves your Mac.
A declarative, simple, fast, and fun package for building command line tools in Go
Own your tools. Customize your tools. Pay as you go. EveryApp puts the web apps you build online, in your own Cloudflare account. Open source, alpha.
Cap'n Proto is a serialization/RPC system with core tools and a C++ library.
AI translation
Compile-time-safe, in-memory event cache for .NET: source-generated indices, pooled zero-allocation queries, compile-time joins, zero-copy Kafka hydration.
Translation pending
Airpocket puts the Claude Code and Codex sessions running in terminals on your Macs onto your iPhone. Over your own Tailscale network. No accounts, no cloud.
Coral is the open source, self-hosted execution layer for AI agents. Equip agents to work across more tools and databases with precise permissions and approved functions.
🚀 Native iOS and Android Apps with JavaScript & TypeScript
Give your AI agents persistent, collective memory — with deduplicating absorb, supersession lineage, semantic search, and a graph UI. Speaks MCP.
Manage translation and localization with static analysis, for Ruby i18n
Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
PHP classes interact Jira with the REST API.
ROS 2 LiDAR SLAM for pointcloud-map authoring, benchmarking, and Autoware-compatible map workflows.
Gooey is a hybrid immediate/retained mode UI framework designed for building fast, GPU-rendered applications on macOS/Metal, WebAssembly/WebGPU, and Wayland/Vulkan
YouTube Player library for Android and Chromecast, stable and customizable.
Platform for safe, easy and productive programming of complex, multi-platform apps with a modern user interface
The fast, flexible & elegant library for parsing and manipulating HTML and XML.
Discover django CMS, the powerful open-source platform for creating flexible, content-rich web experiences tailored for enterprises, agencies, and universities.
Kokonut UI is a free, open-source library of React components built with Tailwind CSS, Motion and shadcn/ui. Install any of them with one command or one prompt.
Read and extract text and other content from PDFs in C# (port of PDFBox)
The Monorepo Platform that amplifies both developers and AI agents.
A lightweight, memory-efficient terminal multiplexer. Organize terminals around projects and worktrees, with splits, tabs, Git, and more with extensions.
The Open Source Ruby on Rails SaaS Template
A package containing a few micro-interactions you can use to reward your users for little things and make them smile!
Your team ships code every day. Test agreed failure scenarios and see what passed, what broke, and what remains unverified. Free integration engine and scoped team pilots.
minc compiler + runner in the browser (WebAssembly, offline after load)
Translation pending
Have a docker-compose.yml? flisk import, then flisk up, runs it locally with routes, rebuilds on save and an MCP server for your AI agent. Not a deploy tool.
Build, train, inspect and export physics-informed neural networks.
Translation pending
Discover GitHub projects and Hugging Face Spaces. Browse by category, explore live demos, and keep a collection of projects on RepoShelf.
Translation pending
Your organization's curated knowledge, kept as OKF in your own Git repositories, served to AI assistants over MCP and to people in the browser.
Draw a Petri net, run it, and check it. A visual editor with simulation and a front door at sim.pflow.xyz.
Extract structured data from documents in TypeScript. Choose the PDF or OCR library, choose the model, and get back data typed to your schema.
47 of 48 routes check auth. Deviant finds the 48th. No rules to write, and no AI needed for the scan.
Dokpod é uma plataforma web self-hosted e de código aberto para observar e operar containers Docker e Podman em vários servidores Linux e Windows.
Translation pending
Talk to one orchestrator and it runs Claude Code, Codex, Grok Build and any ACP agent in parallel. Their reports, questions and permission prompts come back into the same conversation. One local binar
Open problems in math, science and engineering. Each has a record to beat and a verifier that checks every answer exactly. Bring your agent.
A free, open-source desktop code editor for the AI coding era. Review Git changes and edit by hand. For Windows 11 x64 and macOS 14+ Apple Silicon.
Find out why your x402 endpoint isn't listed in the Coinbase CDP Bazaar, with CDP's live index status and a real test payment.
Spool catches your JavaScript errors and points to the exact line in your own source. 100% free, open source alternative to Sentry, Bugsnag and Rollbar.
Turn ready GitHub issues into reviewed, CI-green pull requests with Claude Code or Codex. Local-first; you merge.
A UI library by AI, for AI: React components, a theme store and guidelines for tools people live in all day, on a desktop with a mouse and on a phone with a thumb.
Run Claude Code, Codex, Cursor CLI and Antigravity agents in parallel, each in its own git worktree, then review every diff before you merge. Free and open source.
PyTorch/TorchScript/FX compiler for NVIDIA GPUs using TensorRT
A local, read-only live 3D viewer and replayer for Claude Code sessions. Open source (Apache-2.0).
Useful developer tools built using kotlin multiplatform
QA automation platform: browser, API, contract, performance, accessibility and AI-assisted testing, with a release gate and a live CI dashboard (24 packages)
Each agent picks up where the last one stopped, and asks you before anything it can’t undo. Open your business workspace. Managed access is invite only.
Compare 10,100 LLM models across 239 providers. Filter by price, context window, capabilities, and modalities.
Translation pending
Run a kyo-ui value in the terminal, in Scala 3, and test it with no terminal. A ZIO and a Cats Effect integration are not in this version (issues
Convert YAML to JSON online in your browser. Paste YAML, get formatted JSON instantly—or switch to JSON to YAML. Free YAML converter / formatter style output, no sign-up, nothing uploaded.
Translation pending
Connect Claude Desktop, Claude Code, Cursor or any MCP client to your Recordist meetings with the @recordist/gateway server. Tools, resources, prompts, transports and authentication.
An accessible React design system with perceptual color, scoped multi-brand theming, and zero runtime CSS. Every release ships with the evidence that it works.
An SSH client for iPhone, iPad, Mac, Apple TV, Linux, Windows and Android.
TypeScript functions, a typed document database and live queries. A Convex-style API that runs as a single binary on SQLite, Postgres or Turso.
DEOOS: durable execution on object storage. Ordinary functions that survive failures, with state in your own bucket.
A native macOS desktop pet that shows what Claude Code is doing. Unofficial.
Snap Pea: a fast Rust implementation of the P language, with specs that check your application code.
Agents that work on branches, a phone app to steer them, approvals only you can give, and a cloud that keeps going when your Mac sleeps.
Rent verified GPUs by the hour from $0.30/hr. Drive the whole platform from any MCP agent or from Xcel AI in the dashboard, with real-time NVML telemetry and dynamic spot pricing.
One command in your project folder. Built with AI is enough; AI features are optional.
/nomorevibeSee how to list