Pinned Repositories
aeromancer
amdlc
A compiler for the AMDL stateful network verification language
hello-retail
“Hello, Retail!” is an open-source, mobile-first, 100% serverless, and event-driven functional proof-of-concept showcasing a central unified log approach as applied to the retail platform space.
hello-retail-baseline
phonograph
A record-replay framework for serverless applications
trapeze
watchtower
kalevalp's Repositories
kalevalp/hello-retail-baseline
kalevalp/trapeze
kalevalp/watchtower
kalevalp/phonograph
A record-replay framework for serverless applications
kalevalp/aeromancer
kalevalp/amdlc
A compiler for the AMDL stateful network verification language
kalevalp/bitwarden-serverless
Implementation of the Bitwarden API using an AWS serverless stack
kalevalp/cloudwatch-log-scraper
kalevalp/depqbf-ocaml-bindings
Ocaml bindings for the DepQBF QBF solver's C API
kalevalp/DownloadThisVideo
Twitter bot for easily downloading videos/GIFs off tweets
kalevalp/eslint
Find and fix problems in your JavaScript code.
kalevalp/hello-retail-secure
kalevalp/hello-retail-secure-prop
hello-retail-secure with the addition of a security lattice, declassifiers, and security properties
kalevalp/kalevalp.github.io
kalevalp/keeper
It helps you keep your promises
kalevalp/Nietzsche
Scrap quotes from Goodreads and schedule random tweets.
kalevalp/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
kalevalp/openwhisk
Apache OpenWhisk is an open source serverless cloud platform
kalevalp/openwhisk-runtime-nodejs
Apache OpenWhisk Runtime NodeJS supports Apache OpenWhisk functions written in JavaScript for NodeJS
kalevalp/pdf-merge
A LaTeX based tool for merging pdf files
kalevalp/pingbot
A website monitoring/health-checking tool based on serverless architecture.
kalevalp/promise-local-handling
kalevalp/realworld-dynamodb-lambda
λ serverless backend implementation for RealWorld using AWS DynamoDB + Lambda
kalevalp/serialize-javascript
Serialize JavaScript to a superset of JSON that includes regular expressions and functions.
kalevalp/serverless-project-collector
kalevalp/video-preview-and-analysis-service
A Serverless Event-Driven Service for Creating Preview Animation and Labels from Video File
kalevalp/watchtower-anaysis-scripts
kalevalp/watchtower-experiments
kalevalp/watchtower-latency-benchmark
kalevalp/YoYo
A dead simple comment engine built on top of AWS lambda and React, alternative comment service to Disqus.