Pinned Repositories
fsmove
A command-line tool that detects missing ordering relationships and missing notifiers in Puppet programs.
hephaestus
A framework for testing compilers' type checkers
Antikythera-Mechanism
An emulator of the Antikythera Mechanism written in Processing.
async-tajs
Static Analysis for Asynchronous JavaScript Programs.
buildfs
A dynamic method for detecting faults in incremental and parallel builds.
buildfs-eval
cynthia
Data-Oriented Differential Testing of ORM Systems.
fsracer
Detecting fs-related data racers in JavaScript programs through dynamic binary instrumentation.
netxanal
Web application for basic network analysis
tabu_search-vrpcd
A Tabu Search algorithm for the Vehicle Routing Problem with Cross-Docking.
theosotr's Repositories
theosotr/buildfs
A dynamic method for detecting faults in incremental and parallel builds.
theosotr/cynthia
Data-Oriented Differential Testing of ORM Systems.
theosotr/async-tajs
Static Analysis for Asynchronous JavaScript Programs.
theosotr/fsracer
Detecting fs-related data racers in JavaScript programs through dynamic binary instrumentation.
theosotr/buildfs-eval
theosotr/theosotr.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
theosotr/buildfs-gradle-plugin
A plugin that instruments a Gradle project and dumps the dependencies, inputs, and outputs of every Gradle task.
theosotr/coveralls-gradle-plugin
👨🔧 gradle plugin for coveralls
theosotr/cqmetrics
C Quality Metrics
theosotr/cynthia-eval
theosotr/density
Superfast compression library
theosotr/django
The Web framework for perfectionists with deadlines.
theosotr/fsmove-eval
theosotr/gps-sdr-sim
Software-Defined GPS Signal Simulator
theosotr/gradle-sora-plugin
theosotr/gradle-tomcat-plugin
Gradle plugin supporting deployment of your web application to an embedded Tomcat web container
theosotr/libcs50
CS50 Library for C
theosotr/nextflow
A DSL for data-driven computational pipelines
theosotr/peewee
a small, expressive orm -- supports postgresql, mysql and sqlite
theosotr/postit
theosotr/progressbar
Terminal-based progress bar for Java / JVM
theosotr/puppet-uchiwa
Puppet module for installing Uchiwa
theosotr/rmre
Rails 3 models reverse engineering
theosotr/rose6icse
theosotr/rundeck
Enable Self-Service Operations: Give specific users access to your existing tools, services, and scripts
theosotr/sequelize
An easy-to-use multi SQL dialect ORM for Node.js
theosotr/sqlalchemy
The Database Toolkit for Python
theosotr/tsar
Taobao System Activity Reporter
theosotr/web
BALab web site
theosotr/webdis
A Redis HTTP interface with JSON output