JavaScript 299 38

browsix

Browsix is a Unix-like operating system for the browser.

Updated Jul 29, 2016

OCaml 2 0

ocaml-z3

Updated Jul 20, 2016

OCaml 2 5

compsci631

Support code for Programming Languages (COMPSCI631)

Updated Jul 17, 2016

coz

Coz: Causal Profiling

Updated Jul 14, 2016

TypeScript 968 106

doppio

An "OS for your browser" that breaks the browser language barrier (includes a plugin-free JVM).

Updated Jul 4, 2016

parcel

An Excel formula parser

Updated Jun 22, 2016

Scala 1 0

Rehearsal

Rehearsal: A Configuration Verification Tool for Puppet

Updated Jun 14, 2016

DoubleTake

Evidence-based dynamic analysis: a fast checker for memory errors.

Updated Jun 3, 2016

Java 1 4

doppio-demo

forked from jvilk/doppio-demo

Demo of the Doppio Runtime System.

Updated May 25, 2016

Scala 3 10

AutoMan

forked from dbarowy/AutoMan

Human-Computation Runtime

Updated May 24, 2016

Scala 1 1

Apply2

graduate admissions, Apply2UMass

Updated May 22, 2016

GSoC

Description of our Google Summer of Code projects for 2015

Updated Feb 19, 2016

DataDebug

Excel 2010/2013 add-in that automatically finds errors in spreadsheets

Updated Dec 22, 2015

TypeScript 0 0

doppio_jcl

Scripts that produce a version of the Java Class Library and Java Home in a way that is compatible with DoppioJVM.

Updated Nov 13, 2015

Hound

Hound memory leak detector

Updated Oct 5, 2015

dthreads

forked from emeryberger/dthreads

dthreads: Efficient Deterministic Multithreading

Updated Sep 24, 2015

TypeScript 11 16

Ninia

forked from Solumin/Systems630-Project1

Python interpreter in JavaScript

Updated Sep 21, 2015

PLASMA-graphics

Logos, etc. for PLASMA

Updated Sep 7, 2015

JavaScript 0 1

automan-debugger

forked from BartoszJanota/automan-debugger

Repository for AutoMan IntelliJ Debugger (AID). AID is a plugin for IntelliJ IDEA, written in Scala mostly. It is designed to make developing AutoMan tasks easier.

Updated Aug 21, 2015

SurveyMan

forked from SurveyMan/SurveyMan

SurveyMan programming language.

Updated Jan 18, 2015