kensh

elevator

formal verification with promela

aws-amplify-appsync-graphql-real-time-canvas

bash-layer

bash-runtime

codesigned-function

codesigned function

container-layers-extensions

container-layers-extensions

cpu-intensive

cpu-intensive

custom-python

custom-python-wo-rie

python-extension

Dockerfiles

private docker file collections

ecs-demo-php-simple-app

A simple PHP sample application http://aws.amazon.com/ecs

eks-example

Application image repository

firstmodel

k8s-config

Configuration repository

open-api-sam

open-api-sam

optimizedLinkStateRoutingProtocol

Optimized Link State Routing Protocol by VDM

pandoc_resume

pandoc_resume

pillow-simd-function

pillow-simd-function

python-logs-api

python-logs-api

qlock-lofree

random-letter

random-letter-sam

soccer

soccer with VDM

stepfunctions-activity-lambda

thumbnail_compose

thumbnail_compose

thumbnail_web

web server for thumbnail requests

thumbnail_worker

backend worker process for resizing images

websocket-apigateway

wosco

wosco