GitHub Release Tracker
All JS React Ruby Go Postgres Frontend Node
24h 7d 14d 30d | Newest Best Latest version only Popular

formal-languages

Past 14d, sorted by best first, all versions
5 results Markdown version
10/01 5
fizzbee-io/Fizzbee v0.5.4
Formal specification language and model checker for distributed systems design and verification.
Go 352☆ 919d old #golang #go #formal-languages #formal-verification #formal-methods
10/09 4
litexlang/Litex 1.0.6-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust 674☆ 696d old #golang #ai #rust #go #math
10/08 4
litexlang/Litex 1.0.5-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust 674☆ 696d old #golang #ai #rust #go #math
10/08 4
litexlang/Litex 1.0.3-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust 674☆ 696d old #golang #ai #rust #go #math
10/08 4
litexlang/Litex 1.0.1-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust 674☆ 696d old #golang #ai #rust #go #math