Pinned Repositories
BPjs
Environment for running behavioral programs written in JavaScript.
VisualRunningExamples
PSPS
Play+Slick+Postgres Stack seed project
DataTaggingLibrary
Language tools for DataTags (Decision graph variant). Including the embeddable runtime engine
DataTaggingServer
A web server to data-tag datasets (see datatags.org).
dataverse
Open source research data repository software
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
table-comp
A simple table web component
michbarsinai's Repositories
michbarsinai/Keynote-to-World
A small AppleScript utility to convert Keynote to Powerpoint and PDF
michbarsinai/table-comp
A simple table web component
michbarsinai/downsample-retina-images
A simple OS X bash script to downsample images made for retina display.
michbarsinai/play2_at_dotCloud
Set of scripts allowing the dotCloud servers to run Play2 applications
michbarsinai/PlayfulEye
michbarsinai/BP-javascript-search
Implementation of BP-Search in JS on top of Java using Rhino.
michbarsinai/BPBasedLanguageSemantics
The code parts of the M.Sc.
michbarsinai/BPjs-SCP-OSP_CodeAppendix
Code appendix for "BPjs — A Behavioral Programming Tool Suite", paper submitted to Science of Computer Programming
michbarsinai/INI-Unemployment-benefits
A PolicyModels model of unemployment benefits under the Israeli National Insurance law.
michbarsinai/InvitationToScala
Material for the Invitation to Scala talk
michbarsinai/jparsec
A combinators parser library for Java
michbarsinai/LaTeXTools
LaTeX plugin for Sublime Text 2
michbarsinai/nationalparks-py
Backend component to display national parks (Python).
michbarsinai/ORCID-WorksList-Widget
A basic jQuery widget to display the works list for an ORCID person.
michbarsinai/play2-sublimetext2
Sublime text 2 bundle for Play 2
michbarsinai/PlayForScalaBook
Trying out ideas from Hilton, Bakker and Canedo's "Play for Scala"
michbarsinai/playframework
Play Framework
michbarsinai/rhino-deno-while-study
michbarsinai/School-dotnet-games
michbarsinai/seti-syntax
A subtle dark colored theme for Atom.
michbarsinai/tn5250-j
michbarsinai/try_git
michbarsinai/VerificationOfLivenessAndSafety-CodeAppendix
Code appendix for the "Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs" paper