Boogie

repo	techs	stars	weekly	forks	weekly
move-language/move	RustMoveSMT	2k	+2	582	+3
viperproject/silicon	ScalaBoogieSMT	62	+1	26	0
boogie-org/boogie	BoogieC#Python	445	0	102	0

Popular technologies

Other14058 reps
JavaScript13175 reps
Shell12728 reps
HTML10553 reps
Python10162 reps
CSS8059 reps
Makefile5973 reps
C5504 reps
TypeScript5334 reps
C++4903 reps
Dockerfile4521 reps
Java3264 reps
SCSS2873 reps
Ruby2706 reps
Go2552 reps
CMake2311 reps
C#2295 reps
Jupyter Notebook1929 reps
Batchfile1835 reps
Rust1798 reps
PHP1711 reps
PowerShell1688 reps
Lua1577 reps
Swift1547 reps
Vue1538 reps

Popular topics

hacktoberfest2579 reps
python1353 reps
javascript1263 reps
android887 reps
typescript804 reps
rust776 reps
machine-learning758 reps
docker746 reps
react702 reps
java695 reps
golang689 reps
linux682 reps
deep-learning663 reps
kubernetes659 reps
ios601 reps
windows596 reps
chatgpt583 reps
security566 reps
go542 reps
php537 reps
vue499 reps
macos499 reps
flutter490 reps
neovim487 reps
nodejs468 reps

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

56,730 Repositories indexed · Code solutions