Beast code in Giters

Martin Vechev's repositories

A race detection tool for event driven applications.

Language:C++Apache-2.0010

Website for Learning from "Big Code"

Language:CSSMIT000

RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.

Language:JavaApache-2.0000

WebKit fork with the EventRacer instrumentation for race detection.

Language:C++000