1.airbus-seclab / bincatBinary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detectionida-plugintaint-analysisreverse-engineeringdisassemblyOCamlNo license1.9K total166 forks+39 starsfrom 1,843 · score 3.69
2.eWert-Online / OSnapOSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.diffsnapshot-testingtestingsnapshotvisual-regression-testingvisual-comparison-testing+2 moreOCamlNo license177 total3 forks+5 starsfrom 172 · score 1.79
3.nrnrnr / qc--ArchivedQuick C-- compiler (no longer maintained)OCamlNo license163 total19 forks+2 starsfrom 161 · score 1.10