Stars
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Free continuous integration platform for GitHub projects.
Minimalist Jekyll Template, dark and light themes
Static Value-Flow Analysis Framework for Source Code
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
Repository tracking all OpenStack repositories as submodules. Mirror of code maintained at opendev.org.
Vagrant is a tool for building and distributing development environments.
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…
ShellCheck, a static analysis tool for shell scripts
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly co…
Your self-hosted, globally interconnected microblogging community
A static analyzer for Java, C, C++, and Objective-C
🍻 Default formulae for the missing package manager for macOS (or Linux)
Repository of teaching materials, code, and data for my data analysis and machine learning projects.
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
Toradocu - automated generation of test oracles from Javadoc documentation
Similarity or Distance Metrics, e.g. Levenshtein, for Java
Google Closure compiler SUSHI experiment, bug 72
Various SUSHI experiments (data structures, GanttProject, TSAFE)
Google Closure compiler SUSHI experiment, bug 01
A book-in-progress about the Linux kernel and its insides.