1.smp46 / pingvin-share-xPingvin Share X is a secure and easy self-hosted file sharing platform.dockerfileshareforkself-hostedshareTypeScriptBSD-2-CLAUSE560 total61 forks+240 starsfrom 320 · score 5.48
2.fsouza / go-dockerclientGo client for the Docker Engine API.GoBSD-2-CLAUSE2.2K total556 forks+6 starsfrom 2,242 · score 1.95
3.uwplse / verdi-raftAn implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi frameworkraftverdicoqproofdistributed-systemsconsensus+1 moreCoqBSD-2-CLAUSE204 total19 forks+5 starsfrom 199 · score 1.79
4.cloudtools / tropospheretroposphere - Python library to create AWS CloudFormation descriptionsaws-cloudformationcloudformationpythonpython3tropospherePythonBSD-2-CLAUSE4.9K total1.4K forks+2 starsfrom 4,939 · score 1.10
5.uwplse / verdiA framework for formally verifying distributed systems implementations in Coqverdicoqcoq-libraryproofdistributed-systemsRocq ProverBSD-2-CLAUSE627 total58 forks+2 starsfrom 625 · score 1.10
6.anomalizer / ngx_aws_authnginx module to proxy to authenticated AWS servicesnginxaws-s3CBSD-2-CLAUSE476 total141 forks+1 starsfrom 475 · score 0.69
7.AICAN-Research / FAST-Pathology⚡ Open-source software for deep learning-based digital pathologydeep-learningmachine-learningdigital-pathologycomputational-pathologysoftwarefree-to-use+11 moreC++BSD-2-CLAUSE146 total28 forks+1 starsfrom 145 · score 0.69