Popular repositories Loading

1. dudect dudect Public

   Forked from oreparaz/dudect

   dude, is my code constant time?

   C

2. angelix angelix Public

   Forked from msv-lab/angelix

   Semantic program repair system for C programs

   Java

3. Darjeeling Darjeeling Public

   Forked from squaresLab/Darjeeling

   Language-independent, search-based program repair -- just your cup of tea! ☕

   Python

4. mooc-software-testing mooc-software-testing Public

   Forked from SERG-Delft/mooc-software-testing

   Java

5. llvm-clang-samples llvm-clang-samples Public

   Forked from eliben/llvm-clang-samples

   UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools

   C++

6. bazel bazel Public

   Forked from bazelbuild/bazel

   a fast, scalable, multi-language and extensible build system

   Java