This is stars and forks stats for /lucas-manuel/invariant-examples repository. As of 30 Apr, 2024 this repository has 147 stars and 7 forks.
Invariant Examples Overview This repository functions as an accessible example for Foundry developers to experiment and learn about invariant testing. This repository is a work in progress, and will be updated continuously. Issues with suggestions are encouraged! Setup This project was built using Foundry. Refer to installation instructions here. git clone [email protected]:lucas-manuel/invariant-example.git cd invariant-example forge install Running Tests Foundry considers all functions that start...
Invariant Examples Overview This repository functions as an accessible example for Foundry developers to experiment and learn about invariant testing. This repository is a work in progress, and will be updated continuously. Issues with suggestions are encouraged! Setup This project was built using Foundry. Refer to installation instructions here. git clone [email protected]:lucas-manuel/invariant-example.git cd invariant-example forge install Running Tests Foundry considers all functions that start...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| maple-labs/globals-v2 | SolidityShellMakefile | 2 | 0 | 1 | 0 |
| maple-labs/migration-helpers | SolidityShellMakefile | 0 | 0 | 0 | 0 |
| saucepoint/super-ERC4626-example | SolidityShellJulia | 45 | 0 | 3 | 0 |
| gonzalezreal/swift-markdown-ui | SwiftMakefile | 1.7k | 0 | 159 | 0 |
| TurtleARM/CVE-2023-0179-PoC | CShellMakefile | 195 | 0 | 37 | 0 |
| M0r13n/mikrotik_monitoring | Makefile | 166 | 0 | 21 | 0 |
| gardener-community/dev-box-gcp | MakefileHCLShell | 1 | 0 | 3 | 0 |
| wolfwood/navcaps | OpenSCADMakefile | 36 | 0 | 0 | 0 |
| Southclaws/progress2 | PawnMakefile | 55 | 0 | 63 | 0 |
| cilium/hubble | GoMakefileDockerfile | 2.9k | 0 | 216 | 0 |