Pinned Repositories
bapa-z3
Solving Boolean Algebra with Presburger Arithmetic (BAPA) Constraints in Z3
bibimbap
A tool to import BibTeX entries from various sources
cafebabe
Tiny Scala library to generate class files for the JVM
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...
scala-names
Fun with identifiers in Scala programs
serverless-qbasic
Proof-of-concept: run QBasic code in the cloud
vim-ensime
Vim plugin to interface with Ensime
psuter's Repositories
psuter/cafebabe
Tiny Scala library to generate class files for the JVM
psuter/serverless-qbasic
Proof-of-concept: run QBasic code in the cloud
psuter/vim-ensime
Vim plugin to interface with Ensime
psuter/bapa-z3
Solving Boolean Algebra with Presburger Arithmetic (BAPA) Constraints in Z3
psuter/bibimbap
A tool to import BibTeX entries from various sources
psuter/scala-names
Fun with identifiers in Scala programs
psuter/lila
Free chess server scala/play2/clojurescript/mongodb/elasticsearch
psuter/openwhisk-java-gradle
Examples of building OpenWhisk Java actions with Gradle
psuter/project-euler
Solutions to some of project Euler problems
psuter/rc-files
Just my *nix config files...
psuter/seqset
psuter/swisssystem
Scala implementation of Swiss tournament pairing systems
psuter/wab
OpenWhisk Activation Browser
psuter/awesome-openwhisk
✨ Curated list of awesome OpenWhisk things ✨
psuter/bg
psuter/homepage
My homepage
psuter/jupyterlab
JupyterLab computational environment. This is a very early preview, and is not suitable for general usage yet.
psuter/leon
The Leon system for verification, synthesis, and more.
psuter/openwhisk
OpenWhisk is a cloud-first distributed event-based programming service.
psuter/openwhisk-catalog
OpenWhisk packages to interface with event producers and consumers
psuter/openwhisk-scala-js-demo
Sample OpenWhisk actions written with Scala.js
psuter/playframework
Play Framework
psuter/qbf2smt
psuter/scalachess
Chess API written in scala. Immutable and free of side effects.
psuter/scummc
A Scumm Compiler
psuter/spark
Mirror of Apache Spark
psuter/travis-box-test
psuter/travis-ow
Test repo.
psuter/web2.0namelist
A list of names of Web 2.0 companies/products/apps.
psuter/whowantstobe
Minimal HTML+JS interface for wannabe game show hosts.