Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Repository Index
47,133 repositories indexed
25–41 of 41 · Most stars
A C++ data container replicating std::stack functionality but with better performance than standard library containers in a stack context.
- stack
- cpp
- container
A set of Step Functions high-level resiliency patterns.
- aws
- cdk
- stepfunctions
- patterns
The elegance of Airflow + the power of AWS
- aws
- orchestration
- step-functions
Go 1.18+ polymorphic generic containers and functions.
- go
- golang
- generics
Universal 1d/2d data containers with Transformers functionality for data analysis.
Extensible API Gateway written in Go. Load custom plugins to extend functionality.
- golang
- api-gateway
- go
- extensible
A python library for creating Slack slash commands using AWS Lambda Functions
- chatops
- slackbot
- aws-lambda
- python
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven
Visual Studio Solution Starter Kit to download and base any Content Hub Development on. It supports Intellisense, Sync, Debugging and Unit-Testing e.g. for Content Hub Scripts and Azure Functions. It also stores External Page Components. Overall it provides guidance on how to best structure a Visual Studio Solution for Content Hub Projects and therefore accelerates Customers and Partners.
Create and deploy your chatbot using Serverless
- chatbot
- chatbot-application
- serverless
- serverless-chatbot
⚡ Seamlessly debug Azure Functions in Neovim with automatic DAP integration
Flow Based Programming Plugin for Serverless
- serverless
- fbp
- lambda-functions
The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers
- collections
- data-structures
- functional-programming
- generics
Tiny TypeScript functional dependency injection, based on AsyncLocalStorage. Supports Node.js, Deno
- fp
- functional
- di
- dependency
Kustomize KRM function to run builtin transformers
- gitops
- kubernetes
- kustomize
- kustomize-plugin
A simple, self-custodial solution for accepting private, on-chain Bitcoin payments using XPUBs and serverless functions.