Sign in Sign up
cargo

aver-lang

Aver is a programming language for auditable AI-written code

cargo View on Cargo github View on Github

Activity

Latest release
2w ago
Total releases
65
Cadence
~daily
Last 12 months
65

Reach

Downloads
1.4k
Stars
58

Details

License
MIT
First release
Feb 28, 2026
Releases
Version Released
0.29.0 minor
0.28.1 patch
0.28.0 minor
0.27.1 unknown
0.27.0 unknown
0.26.0 unknown
0.25.0 unknown
0.24.1 unknown
0.24.0 unknown
0.23.0 unknown
0.22.1 unknown
0.22.0 unknown
0.21.1 unknown
0.21.0 unknown
0.20.0 unknown
0.19.0 unknown
0.18.0 unknown
0.17.3 unknown
0.17.2 unknown
0.17.1 unknown
0.17.0 unknown
0.16.2 unknown
0.16.1 unknown
0.16.0 unknown
0.15.2 unknown
0.15.1 unknown
0.15.0 unknown
0.14.2 unknown
0.14.1 unknown
0.14.0 unknown
0.13.0 unknown
0.12.0 unknown
0.11.0 unknown
0.10.1 unknown
0.10.0 unknown
0.9.7 unknown
0.9.6 unknown
0.9.5 unknown
0.9.4 unknown
0.9.3 unknown
0.9.2 unknown
0.9.1 unknown
0.9.0 unknown
0.8.2 unknown
0.8.1 unknown
0.8.0 unknown
0.7.3 unknown
0.7.2 unknown
0.7.1 unknown
0.7.0 unknown
1–50 of 65