abstract-interpretation

repo	techs	stars	weekly	forks	weekly
facebook/pyre-check	OCamlPythonC	6.3k	0	421	0
goblint/analyzer	OCamlCShell	114	0	53	0
NASA-SW-VnV/ikos	C++LLVMPython	1.8k	0	133	0
KeenSecurityLab/BinAbsInspector	JavaDockerfile	1.3k	0	194	0

Popular technologies

Other10501 reps
JavaScript9779 reps
Shell9683 reps
HTML7952 reps
Python7412 reps
CSS5782 reps
Makefile4570 reps
C4262 reps
C++3760 reps
TypeScript3692 reps
Dockerfile3229 reps
Java2557 reps
SCSS2197 reps
Ruby2119 reps
Go2038 reps
CMake1806 reps
C#1740 reps
Batchfile1354 reps
Jupyter Notebook1342 reps
PHP1341 reps
Rust1312 reps
PowerShell1291 reps
Lua1222 reps
Swift1185 reps
Vue1150 reps

Popular topics

hacktoberfest2307 reps
python1097 reps
javascript1038 reps
android708 reps
docker607 reps
machine-learning599 reps
rust596 reps
typescript595 reps
golang561 reps
java550 reps
react545 reps
kubernetes539 reps
deep-learning538 reps
linux537 reps
ios499 reps
security461 reps
php454 reps
windows452 reps
go451 reps
macos413 reps
vue408 reps
neovim394 reps
flutter392 reps
css370 reps
nodejs358 reps

Review Github collects stats from github repositories on a daily basis.

43063 Repositories indexed · Github Archive · Code solutions