A Rails select form helper using country codes for I18n translations
Repository Index
47,133 repositories indexed
6,817–6,840 of 7,758 · Most stars
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
An Elixir notifier to the Airbrake/Errbit. System-wide error reporting enriched with the information from Plug and Phoenix channels.
EmberJS redirect addon for Ember-CLI. This addon aims to be a simple and easy way to preform route based redirects with minimal effort.
🌈 A 20kb Preact & Redux based Progressive Web App that translates real life color to digital color.
D library for converting any custom types to and from JSON the painless way.
Adds an AI-powered "Translate" button to non-primary localized fields in Payload CMS. Automatically translates content from the primary language using OpenAI or other models. Fully configurable and integrates seamlessly with Payload’s native localization system.
- nodejs
- payload-plugin
- payloadcms
- typesc
A complete, reliable, secure and open source webapp based on zero-knowledge encryption to deal with TOTP
- totp
- webapp
- zero-knowledge-encryption
The tested, tool-agnostic AGENTS.md kit — verified templates, a CI linter, and migrators from .cursorrules/CLAUDE.md/Copilot/Windsurf/Cline/Aider.
CDK construct that sets up email alerts for AWS monthly bill
- aws-billing
- cdk-construct
- aws-cdk
- aws-cloudwatch
Libmemcached library support for Amazon ElastiCache Memcached Cluster for PHP. The client is available at https://github.com/awslabs/aws-elasticache-cluster-client-memcached-for-php.
Telegram Bot C++ Library
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
Swift Playground demonstrating how to get a "Duet" style trailing effect in SpriteKit.
Agent Skills — agent-neutral autonomous product-building OS for 32+ AI coding tools. 23 skill categories · 28 agents · 149 reference docs · 37 platform variants. One-line prompts → deployed products on Cloudflare Workers.
Parenscript Macros to aid generating react code
Driver for pms5003 air quality sensor for micropython
- micropython
- pms5003
Try monad for crystal
Persistent decision memory for AI agents: rationale, rejected approaches, and entity history. Connect any compatible agent through local MCP or the CLI.
- agent-memory
- agent-trace
- ai-agent-reasoning
- ai-agents
bitcoin node based on bitcoin-ruby-blockchain
A song picker/player AIR native extension for iOS and Android.
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
A repo-native coding-agent loop harness for Claude, Codex, Copilot, and other CLI agents. Agents can edit. Gates decide what lands. You set the plan in motion. The agents take a prompt, and each iteration must update specs and commit through guardrails.