awesome-rust-formalized-reasoning
cicada
awesome-rust-formalized-reasoning | cicada | |
---|---|---|
3 | 2 | |
263 | 969 | |
- | - | |
7.6 | 4.0 | |
12 days ago | 8 months ago | |
Rust | ||
MIT License | MIT License |
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.
awesome-rust-formalized-reasoning
-
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot
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
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
- Awesome-Rust-Formalized-Reasoning
cicada
-
What is a good alternative to Zsh?
As for POSIX compliance, this is from their FAQ:
What are some alternatives?
kani - Kani Rust Verifier
oksh - Portable OpenBSD ksh, based on the Public Domain Korn Shell (pdksh).
Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
ATS-Postiats - ATS2: Unleashing the Potentials of Types and Templates
cicada - Cicada Language
ksh - ksh 93u+m: KornShell lives! | Latest release: https://github.com/ksh93/ksh/releases
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
Agda - Agda is a dependently typed programming language / interactive theorem prover.
opennars - OpenNARS for Research 3.0+
scriptisto - A language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages.
minisat - Minisat Haskell bundle
daemonize-me - Rust library to ease the task of creating daemons