psuter/lila
Free chess server scala/play2/clojurescript/mongodb/elasticsearch
Developer Profile
psuter
Discovered public repositories for psuter in the GitHub catalog.
psuter/swisssystem
Scala implementation of Swiss tournament pairing systems
psuter/scalachess
Chess API written in scala. Immutable and free of side effects.
psuter/qbf2smt
Public repository.
psuter/whowantstobe
Minimal HTML+JS interface for wannabe game show hosts.
psuter/leon
The Leon system for verification, synthesis, and more.
psuter/homepage
My homepage
psuter/bapa-z3
Solving Boolean Algebra with Presburger Arithmetic (BAPA) Constraints in Z3
psuter/web2.0namelist
A list of names of Web 2.0 companies/products/apps.
psuter/vim-ensime
Vim plugin to interface with Ensime
psuter/bibimbap
A tool to import BibTeX entries from various sources
psuter/project-euler
Solutions to some of project Euler problems
psuter/rc-files
Just my *nix config files...
psuter/cafebabe
Tiny Scala library to generate class files for the JVM
psuter/scala-names
Fun with identifiers in Scala programs