Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Repository Index
47,133 repositories indexed
3,721–3,744 of 4,381 · Most stars
Dongoose is a simple ( but intelligent ), lightweight, and easy to use ORM for Deno KV. It is written in Typescript and is inspired by Mongoose.
D library for converting any custom types to and from JSON the painless way.
Framework-agnostic page transitions for Capacitor apps. iOS-style navigation without opinions.
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
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
Popular binaries via npm. CLI and API.
AWS CDK Constructs for PostgreSQL
Fast, deterministic cell-type deconvolution for million-bin spatial transcriptomics
- bioinformatics
- cell-type-deconvolution
- computational-biology
- deconvolution
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
mypy plugin to type check Kubernetes resources
- mypy
- kubernetes-python-client
- kubernetes
- kubernetes-development
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.
Calculate and render particles with WebGPU
- webgpu
- webgpu-particles
- render-particles
Chapter 2: E-commerce App with MarketCloud and Ionic 2
TanStack DB adapter providing type-safe PocketBase integration
Procedural Cross-Platform 3D Tower Defense WebGame with Physics and AI and Procedural Sound
- babylonjs
- javascript
- typescript
- projectiles
A 3d platformer browser game prototype made with the BabylonJS framework written in TypeScript.
Chrome extension reference app demonstrating how users could sign transactions using various EOSIO Labs tools
Register your lit-elements as a pure functions.
- html
- javascript
- web-components
- web-component
A type-safe, high-level networking solution for Swift apps
- network
- networking
- url
- urlrequest
🚀 Schema based, typed Redis caching/memoize framework for Go
A Rust UI framework built on WASI.
Juno is a simple and lightweight 2D game framework written in TypeScript for making tiny pixel style HTML5 Games