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

formal-languages

Past 30d, sorted by best first
2 results Markdown version
08/24 5
fizzbee-io/Fizzbee v0.5.3
Formal specification language and model checker for distributed systems design and verification.
Go 344☆ 882d old #golang #go #formal-languages #formal-verification #formal-methods
08/15 3
litexlang/Litex 0.9.115-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust 661☆ 644d old #golang #ai #rust #go #math