Repository Index

Universal Command Line Interface for Amazon Web Services

• aws
• cloud
• aws-cli
• cloud-management

Flexible production-grade boilerplate with Next.js 11, Vercel and TypeScript. Includes multiple opt-in presets using Storybook, Airtable, GraphQL, Analytics, CSS-in-JS, Monitoring, End-to-end testing, Internationalization, CI/CD and SaaS B2B multi single-tenancy (monorepo) support

• typescript
• typescript-boilerplate
• zeit-now
• isomorphic-react

TranslatedUniversal, flexible, high-performance distributed ID generator.

• distributed
• id
• idgenerator
• snowflake

High-performance configuration management framework for Go applications with zero-allocation performance, universal format support (JSON, YAML, TOML, HCL, INI, Properties), and an ultra-fast CLI powered by Orpheus.

• configuration-management
• go
• hcl
• high-performance

Storage library provides a universal interface for accessing and manipulating data in different cloud blob storage providers

• azure
• aws
• storage
• gcp

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action