kalevalp Goto Github PK

aeromancer

amdlc

A compiler for the AMDL stateful network verification language

bitwarden-serverless

Implementation of the Bitwarden API using an AWS serverless stack

cloudwatch-log-scraper

depqbf-ocaml-bindings

Ocaml bindings for the DepQBF QBF solver's C API

downloadthisvideo

Twitter bot for easily downloading videos/GIFs off tweets

eslint

Find and fix problems in your JavaScript code.

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

hello-retail-secure

hello-retail-secure-prop

hello-retail-secure with the addition of a security lattice, declassifiers, and security properties

kalevalp.github.io

keeper

It helps you keep your promises

nietzsche

Scrap quotes from Goodreads and schedule random tweets.

node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

node-fork

A tiny node module for POSIX-forking node.js

openwhisk

Apache OpenWhisk is an open source serverless cloud platform

openwhisk-runtime-nodejs

Apache OpenWhisk Runtime NodeJS supports Apache OpenWhisk functions written in JavaScript for NodeJS

pdf-merge

A LaTeX based tool for merging pdf files

phonograph

A record-replay framework for serverless applications

pingbot

A website monitoring/health-checking tool based on serverless architecture.

promise-local-handling

realworld-dynamodb-lambda

λ serverless backend implementation for RealWorld using AWS DynamoDB + Lambda

serialize-javascript

Serialize JavaScript to a superset of JSON that includes regular expressions and functions.

serverless-project-collector

trapeze

video-preview-and-analysis-service

A Serverless Event-Driven Service for Creating Preview Animation and Labels from Video File

watchtower

watchtower-anaysis-scripts

watchtower-experiments