psuter

cafebabe

Tiny Scala library to generate class files for the JVM

serverless-qbasic

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

vim-ensime

Vim plugin to interface with Ensime

bapa-z3

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

bibimbap

A tool to import BibTeX entries from various sources

scala-names

Fun with identifiers in Scala programs

lila

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

openwhisk-java-gradle

Examples of building OpenWhisk Java actions with Gradle

project-euler

Solutions to some of project Euler problems

rc-files

Just my *nix config files...

seqset

swisssystem

Scala implementation of Swiss tournament pairing systems

wab

OpenWhisk Activation Browser

awesome-openwhisk

✨ Curated list of awesome OpenWhisk things ✨

bg

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.

openwhisk

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

openwhisk-catalog

OpenWhisk packages to interface with event producers and consumers

openwhisk-scala-js-demo

Sample OpenWhisk actions written with Scala.js

playframework

Play Framework

qbf2smt

scalachess

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

scummc

A Scumm Compiler

spark

Mirror of Apache Spark

travis-box-test

travis-ow

Test repo.

web2.0namelist

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

whowantstobe

Minimal HTML+JS interface for wannabe game show hosts.