psuter Goto Github PK

awesome-openwhisk

✨ Curated list of awesome OpenWhisk things ✨

bapa-z3

Solving Boolean Algebra with Presburger Arithmetic (BAPA) Constraints in Z3

bg

bibimbap

A tool to import BibTeX entries from various sources

cafebabe

Tiny Scala library to generate class files for the JVM

homepage

My homepage

jupyterlab

JupyterLab computational environment. This is a very early preview, and is not suitable for general usage yet.

leon

The Leon system for verification, synthesis, and more.

lila

Free chess server scala/play2/clojurescript/mongodb/elasticsearch

openwhisk

OpenWhisk is a cloud-first distributed event-based programming service.

openwhisk-catalog

OpenWhisk packages to interface with event producers and consumers

openwhisk-java-gradle

Examples of building OpenWhisk Java actions with Gradle

openwhisk-scala-js-demo

Sample OpenWhisk actions written with Scala.js

playframework

Play Framework

project-euler

Solutions to some of project Euler problems

qbf2smt

rc-files

Just my *nix config files...

scala-names

Fun with identifiers in Scala programs

scalachess

Chess API written in scala. Immutable and free of side effects.

scummc

A Scumm Compiler

seqset

serverless-qbasic

Proof-of-concept: run QBasic code in the cloud

spark

Mirror of Apache Spark

swisssystem

Scala implementation of Swiss tournament pairing systems

travis-box-test

travis-ow

Test repo.

vim-ensime

Vim plugin to interface with Ensime

wab

OpenWhisk Activation Browser

web2.0namelist

A list of names of Web 2.0 companies/products/apps.

whowantstobe

Minimal HTML+JS interface for wannabe game show hosts.