Efficiently computes derivatives of numpy code
State Dependency deconstructor and mapper for C source code.
Sterling Integrator BP utilities
An extension for BlueJ that counts logical lines of code.
Concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit
Code Analysis Plugin for Eclipse Indigo
Concern Mining
Parsing, AST and "walking" for Common Lisp code.
Automated linting of cascading stylesheets
Custom checks, filters and quickfixes for CheckStyle and Eclipse-CS
Checked C is an extension to C that lets programmers write C code
A static source code analyser for Fortran 90 and C++
C and C++ control flow graph generator and analyzer