horus-compile
Use formally verified annotations in your Cairo code
- Latest release
- Mar 02, 2023
- Releases
- 2
- Known CVEs
- 0
- First release
- Feb 02, 2023
- License
- Apache-2.0
Insights
Activity
- Total releases
- 2
- Last 12 months
- 0
- Cadence
- ~28 days
- Dependencies
- 6
Releases per month
last 12 monthsRelease mix
- patch 1
2
releases
Dependencies
Depends on
0.0.6.13-
cairo-lang
==0.10.1
-
eth-utils
>=1.2.0,<2.0.0
-
lark
>=1.1.4,<2.0.0
-
marshmallow
>=3.15.0,<4.0.0
-
marshmallow-dataclass
>=7.1.0,<8.5.4
-
z3-solver
>=4.8.15,<5.0.0
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
0.0.6.13
patch
|
0.0.6.13
patch
Dependencies (6)
|
|
0.0.6.12
initial
|
0.0.6.12
initial
|