1.smp46 / pingvin-share-xPingvin Share X is a secure and easy self-hosted file sharing platform.dockerfileshareforkself-hostedshareTypeScriptBSD-2-CLAUSE560 total61 forks+84 starsfrom 476 · score 4.44
2.cloudtools / tropospheretroposphere - Python library to create AWS CloudFormation descriptionsaws-cloudformationcloudformationpythonpython3tropospherePythonBSD-2-CLAUSE4.9K total1.4K forks+1 starsfrom 4,940 · score 0.69
3.anomalizer / ngx_aws_authnginx module to proxy to authenticated AWS servicesnginxaws-s3CBSD-2-CLAUSE476 total141 forks+1 starsfrom 475 · score 0.69
4.uwplse / verdi-raftAn implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi frameworkraftverdicoqproofdistributed-systemsconsensus+1 moreCoqBSD-2-CLAUSE204 total19 forks+1 starsfrom 203 · score 0.69