Stars
9
results
for source starred repositories
written in OCaml
Clear filter
A static analyzer for Java, C, C++, and Objective-C
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
A code rewrite tool for structural search and replace that supports ~every language.
KaRaMeL is a tool for extracting low-level F* programs to readable C code
SPARK 2014 repository for the Why3 verification platform.
Runtime Verification toolchain for generation of monitors based on the restricted Metric Temporal Logic with Durations.