assura-lang/assura

good first issue: annotate integer-boundary values in counterexample output about 1 month ago

enhancement good first issue ready

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

good first issue: model a real CVE as a contract demo about 1 month ago

documentation good first issue ready

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

docs: add a README to each published crate (crates.io pages are blank) about 1 month ago

documentation good first issue ready

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

docs: next high-traffic error-codes.md batch (~130 still unindexed) 3 months ago

documentation good first issue ready

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

docs: expand error-codes.md high-traffic table (~180 unindexed codes) 3 months ago

documentation good first issue ready

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

good first issue: add a one-file must_compile fixture for SafeDivision pattern 4 months ago

documentation good first issue ready

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

enhancement: check-rust variable next_power_of_two / wrapping_next_power_of_two 4 months ago

enhancement good first issue ready

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

docs: single boring path contract → check → IR/build → run binary 4 months 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

Open Issues Need Help