Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Repository Index
47,133 repositories indexed
49–72 of 72 · Most stars
A .NET 6 starter solution for AWS Lambda - easily to deploy via serverless framework and locally debugable in VS Code
- serverless
- lambda
- csharp
- vscode
Example project showing how to build a full-stack serverless application with Cloudflare Workers 👷♀️☁️
- cloudflare-workers
- serverless
- full-stack
Walkthrough application for using the Event Gateway. -- https://www.serverless.com
The repository host gives no description.
- cloudflare-worker
- serverless
- curl
- card
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Use AWS CDK with CodePipeline to deploy a TypeScript Create-React-App.
- aws-cdk
- aws-codepipeline
- cra-pipeline
- react
Samples using context variables and (system) entities in IBM Watson Assistant (formerly Conversation) service on IBM Cloud
- ibm-cloud
- watson-assistant
- watson-conversation
- chatbot
A simple Cloudflare Worker with built-in routing
- cloudflare
- cloudflare-api
- cloudflare-worker
sample lambda mono repo
Erlang Term Info
- erlang
- data-structures
- memory-consumption
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Berlin is 💯% awesome! 🍻🍾🤘
- awesome-list
- awesome
- berlin
- coffee
A collection of resources covering all aspects of Tsung usage for load testing.
- tsung
- tsung-plugin
- load-testing
- awesome
The repository host gives no description.
Learn what the Event Gateway is, how it works and build your first event-driven multi-cloud application!
- serverless
- serverless-framework
- event-gateway
Useful Erlang Functions Library
- erlang
- binaries
- lists
- html-entities
Guía para mexicanos en Berlín
- berlin
- mexican
- food
- list
A template for implementing a Websocket controller for ChicagoBoss
Erlang 2-way map
- erlang
- data-structures
A big ol' list of GameMaker libraries, extensions, tools etc.
Slides from my Ember JS Berlin talk, Design Patterns in Ember
Erlang set associative map for key lists
- erlang
- data-structures
Deno Deploy template for ShopSavvy Data API - product search and price comparison with Hono router
- price-comparison
- price-history
- pricing-api
- product-data