Boogie

repo	techs	stars	weekly	forks	weekly
viperproject/silicon	ScalaBoogieSMT	54	0	25	0
move-language/move	RustMoveSMT	1.8k	0	481	0
boogie-org/boogie	BoogieC#Python	413	0	100	0

Popular technologies

Other10368 reps
JavaScript9625 reps
Shell9567 reps
HTML7845 reps
Python7301 reps
CSS5676 reps
Makefile4510 reps
C4204 reps
C++3722 reps
TypeScript3606 reps
Dockerfile3165 reps
Java2532 reps
SCSS2177 reps
Ruby2096 reps
Go2013 reps
CMake1788 reps
C#1718 reps
PHP1334 reps
Jupyter Notebook1314 reps
Batchfile1310 reps
Rust1281 reps
PowerShell1261 reps
Lua1210 reps
Swift1165 reps
Vue1135 reps

Popular topics

hacktoberfest2297 reps
python1085 reps
javascript1030 reps
android704 reps
docker598 reps
machine-learning595 reps
rust588 reps
typescript581 reps
golang550 reps
java547 reps
react542 reps
deep-learning534 reps
linux532 reps
kubernetes532 reps
ios496 reps
security454 reps
php449 reps
go445 reps
windows443 reps
macos408 reps
vue405 reps
flutter391 reps
neovim390 reps
css366 reps
nodejs355 reps

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

42427 Repositories indexed · Github Archive · Code solutions