Kalev Alpernas (kalevalp)

kalevalp

Geek Repo

Company:Tel Aviv University

Home Page:https://cs.tau.ac.il/~kalevalp

Github PK Tool:Github PK Tool

Kalev Alpernas's repositories

Language:JavaScriptLicense:Apache-2.0Stargazers:9Issues:1Issues:0
Language:JavaScriptLicense:Apache-2.0Stargazers:5Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:2Issues:0Issues:0

phonograph

A record-replay framework for serverless applications

Language:TeXLicense:MITStargazers:1Issues:0Issues:0
Stargazers:0Issues:0Issues:0

amdlc

A compiler for the AMDL stateful network verification language

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

bitwarden-serverless

Implementation of the Bitwarden API using an AWS serverless stack

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

depqbf-ocaml-bindings

Ocaml bindings for the DepQBF QBF solver's C API

Language:CLicense:MITStargazers:0Issues:0Issues:0

DownloadThisVideo

Twitter bot for easily downloading videos/GIFs off tweets

Stargazers:0Issues:0Issues:0

eslint

Find and fix problems in your JavaScript code.

License:MITStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

hello-retail-secure-prop

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

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:CSSStargazers:0Issues:0Issues:0

keeper

It helps you keep your promises

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

Nietzsche

Scrap quotes from Goodreads and schedule random tweets.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

node

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

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

openwhisk

Apache OpenWhisk is an open source serverless cloud platform

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

openwhisk-runtime-nodejs

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

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pdf-merge

A LaTeX based tool for merging pdf files

Language:TeXStargazers:0Issues:0Issues:0

pingbot

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

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

realworld-dynamodb-lambda

λ serverless backend implementation for RealWorld using AWS DynamoDB + Lambda

Language:JavaScriptStargazers:0Issues:0Issues:0

serialize-javascript

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

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

video-preview-and-analysis-service

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

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

YoYo

A dead simple comment engine built on top of AWS lambda and React, alternative comment service to Disqus.

Language:JavaScriptStargazers:0Issues:0Issues:0