Repository Index

sample lambda mono repo

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

• coq
• canonical-structures
• typeclasses
• ssreflect

Learn what the Event Gateway is, how it works and build your first event-driven multi-cloud application!

• serverless
• serverless-framework
• event-gateway

Deno Deploy template for ShopSavvy Data API - product search and price comparison with Hono router

• price-comparison
• price-history
• pricing-api
• product-data