dslab-epfl/jagr
Automatically exported from code.google.com/p/jagr
Developer Profile
dslab-epfl
Discovered public repositories for dslab-epfl in the GitHub catalog.
dslab-epfl/warr
Automatically exported from code.google.com/p/warr
dslab-epfl/buddy-suite
Automatically exported from code.google.com/p/buddy-suite
dslab-epfl/dimmunix
Automatically exported from code.google.com/p/dimmunix
dslab-epfl/asap
Official repository for ASAP: High System-code Security at Low Overhead
dslab-epfl/gist-static-analyzer
Public repository.
dslab-epfl/simplejson
Flavor of simplejson that does not compile native extensions
dslab-epfl/accessibility-checker
Tools to check the accessibility of course material and provide suggestions for improving it.
dslab-epfl/chef-tools
Public repository.
dslab-epfl/lockout
A tool to increase the probability of deadlock occurrence
dslab-epfl/chef-symbex-lua
Lua interpreter modded to support symbolic execution
dslab-epfl/sweng-hw6-grader
A small webapp that computes scores for SwEng 2013 Homework 6
dslab-epfl/sweng-robotium
Like Selenium, but for Android
dslab-epfl/lfi
Fault injection library
dslab-epfl/state-merging
Old repository for the PLDI'12 paper.
dslab-epfl/compact-exe-status-plugin
Compact Executor Status Jenkins Plugin
dslab-epfl/heavy-job-plugin
Jenkins heavy-job plugin
dslab-epfl/chef-symbex-python
A modded Python interpreter that supports symbolic execution.
dslab-epfl/memcached-llvm
A memcached version adapted for LLVM
dslab-epfl/cloud9-boolector
Mirror of the Cloud9 Boolector repository
dslab-epfl/cloud9-uclibc
The Cloud9/KLEE uClibc library
dslab-epfl/cloud9-depot
The Cloud9 depot (root repository)
dslab-epfl/cloud9
The Cloud9 main repository
dslab-epfl/myedu-catalog
EPFL MyEdu Course Catalog