abstract-interpretation

repo	techs	stars	weekly	forks	weekly
facebook/pyre-check	OCamlPythonC	6.5k	+8	455	+5
NASA-SW-VnV/ikos	C++LLVMPython	1.9k	+1	170	+3
goblint/analyzer	OCamlCPerl	135	0	62	0
KeenSecurityLab/BinAbsInspector	JavaDockerfile	1.4k	0	204	0

Popular technologies

Other14206 reps
JavaScript13299 reps
Shell12831 reps
HTML10658 reps
Python10242 reps
CSS8155 reps
Makefile6026 reps
C5563 reps
TypeScript5397 reps
C++4951 reps
Dockerfile4571 reps
Java3289 reps
SCSS2893 reps
Ruby2727 reps
Go2575 reps
CMake2329 reps
C#2320 reps
Jupyter Notebook1953 reps
Batchfile1858 reps
Rust1823 reps
PHP1720 reps
PowerShell1705 reps
Lua1593 reps
Swift1560 reps
Vue1559 reps

Popular topics

hacktoberfest2726 reps
python1361 reps
javascript1273 reps
android892 reps
typescript812 reps
rust788 reps
machine-learning764 reps
docker753 reps
react705 reps
java701 reps
golang693 reps
linux688 reps
deep-learning666 reps
kubernetes663 reps
ios607 reps
windows603 reps
chatgpt587 reps
security568 reps
go548 reps
php541 reps
vue503 reps
macos503 reps
flutter493 reps
neovim490 reps
nodejs472 reps

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

57,324 Repositories indexed · Code solutions