🫥
🎯
Infrastructure & DevOps Engineer. Linux, Ansible, Kubernetes, Terraform, AWS. Building reliable delivery platforms.
Pinned Loading
-
Sarcophagus_certora_formal-verification
Sarcophagus_certora_formal-verification Public archiveFormal verification of Sarcophagus, the Autonomous and decentralized dead man's switch
Solidity 1
-
maas
maas PublicForked from canonical/maas
Official MAAS repository mirror (may be out of date). Development happens in Launchpad (https://git.launchpad.net/maas/).
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.