adiff

(★ 12)

Tool for differentially testing soundness and precision of program analyzers

adiff Latest Version Download

Download Latest Version (.zip)

Today's picks

TypeScript ★ 110,183

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

TypeScript
ChinaTextbook ★ 79,814

所有小初高、大学PDF教材。

Roff
flutter ★ 178,427

Flutter makes it easy and fast to build beautiful apps for mobile and beyond

Dart
vue-element-admin ★ 90,198

:tada: A magical vue admin

Vue
thefuck ★ 97,712

Magnificent app which corrects your previous console command.

Python
godot ★ 115,749

Godot Engine – Multi-platform 2D and 3D game engine

C++
// repository documentation