Our great sponsors
- Appwrite - The open-source backend cloud platform
- SurveyJS - A Non-Cloud Alternative to Google Forms that has it all.
- Amplication - open-source Node.js backend code generator
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- Mergify - Updating dependencies is time-consuming.
|5 days ago||16 days ago|
|MIT License||GNU General Public License v3.0 only|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot
3 projects | news.ycombinator.com | 17 Jun 2022
Unsurprisingly, we can see a growing interest in the Rust ecosystem regarding formal verification. I try to keep https://github.com/newca12/awesome-rust-formalized-reasoning up to date. I will add CreuSAT shortly.
Kani Rust Verifier – a bit-precise model-checker for Rust
7 projects | news.ycombinator.com | 23 Mar 2022
This dispersed progress is the sign of an absence of maturity but the exploration of this space with Rust is very promising : https://github.com/newca12/awesome-rust-formalized-reasoning
Ask HN: What technology is “cutting edge” in 2022?
7 projects | news.ycombinator.com | 23 Jan 2022
What are some alternatives?
kani - Kani Rust Verifier
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
minisat - Minisat Haskell bundle
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
ttlite - A SuperCompiler for Martin-Löf's Type Theory
crucible - Crucible is a library for symbolic simulation of imperative programs
tptp - Parser and pretty printer for the TPTP language
opennars - OpenNARS for Research 3.0+
seer - symbolic execution engine for Rust
grakn - TypeDB: a polymorphic database powered by types
MIRAI - Rust mid-level IR Abstract Interpreter