Sokoban (in Coq) [maintainer=@erikmd]
Repository Index
47,133 repositories indexed
3,313–3,336 of 3,874 · Most stars
An Elixir module for generating Gravatar urls.
- elixir
- gravatar
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
Yeoman generator for creation Hybrid Mobile Application (based on Cordova/Phonegap)
MCP server + CLI for production-grade software assets (logos, app icons, favicons, OG, illustrations) — routes across 30+ image models, zero-key first, validates before shipping.
- app-icon
- claude-code
- cli
- cursor
Generalized Linear Models extension for Statsample
A structured, multi-agent Claude Code learning environment for mastering Retrieval-Augmented Generation (RAG)
Run a Ripple XRP (rippled) validator in a Docker container
- xrp-ledger
Jupyter Notebook Utility
Generic Golang Key/Value trait for AWS storage services
- aws-dynamodb
- golang
- key-value
- type-safe
:trophy: A small CSS library for simulating FIRST Robotics Competition's blue award banners.
DEPRECATED - Bundle assets and scripts in a single executable file. Deno
- assets
- asset-management
- deno
- deno-module
K get kool aliases (and more) working with a simple one-liner.
Symfony2 Bundle for barcode rendering using our barcode generator base library https://github.com/paterik/BGBarcodeGenerator
Generator for Micropython external modules written in C
👔 Zero-dependency Crystal shard to validate, generate and format Brazilian burocracias (CPF, CNPJ, CEP)
- crystal
- crystal-language
- brazil
- brasil
Extensible API Gateway written in Go. Load custom plugins to extend functionality.
- golang
- api-gateway
- go
- extensible
Declarative golang HTTP client
- golang
- http
- client
Effortless APIs with CDK
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package
Ultra-lightweight Java DI framework with JSR-330 support, fast classpath scanning, and zero boilerplate. Minimal alternative to Spring/Guice.
- dependency-injection
- dependency-management
- di-framework
- ioc-container
Flexible search query builder is SAP Hybris Commerce extension (released as a library) that provides developer-friendly way to build flexible search queries. The aim of this extension is to write().flexibleSearchQueries().easily() in compile-time safe manner without a need to remember the syntax.
- hybris-commerce-suite
- hybris
- hybris-commerce
- hybris-extension
Common Lisp system for generating and parsing of OpenSSH keys
- openssh-keys
- quicklisp
- key-pairs
- decoding
Pyramid plugin for openapi spec generation (using ApiSpec)