Michael's repositories
table-comp
A simple table web component
downsample-retina-images
A simple OS X bash script to downsample images made for retina display.
Keynote-to-World
A small AppleScript utility to convert Keynote to Powerpoint and PDF
play2_at_dotCloud
Set of scripts allowing the dotCloud servers to run Play2 applications
BP-javascript-search
Implementation of BP-Search in JS on top of Java using Rhino.
BPBasedLanguageSemantics
The code parts of the M.Sc.
BPjs-SCP-OSP_CodeAppendix
Code appendix for "BPjs — A Behavioral Programming Tool Suite", paper submitted to Science of Computer Programming
INI-Unemployment-benefits
A PolicyModels model of unemployment benefits under the Israeli National Insurance law.
InvitationToScala
Material for the Invitation to Scala talk
LaTeXTools
LaTeX plugin for Sublime Text 2
nationalparks-py
Backend component to display national parks (Python).
ORCID-WorksList-Widget
A basic jQuery widget to display the works list for an ORCID person.
play2-sublimetext2
Sublime text 2 bundle for Play 2
PlayForScalaBook
Trying out ideas from Hilton, Bakker and Canedo's "Play for Scala"
playframework
Play Framework
seti-syntax
A subtle dark colored theme for Atom.
VerificationOfLivenessAndSafety-CodeAppendix
Code appendix for the "Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs" paper