assura-lang

assura-lang/assura

Contract-first AI-native language. Write what it should do. AI proves it does.

1 stars 0 forks 1 watchers Rust MIT License
ai compiler contracts formal-verification programming-language rust smt verification z3
View on GitHub Website
1 Open Issue Need Help Last updated: Jul 7, 2026

Open Issues Need Help

View All on GitHub
docs: single boring path contract → check → IR/build → run binary about 11 hours ago
documentation good first issue production-readiness
assura-lang/assura
1

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3