stainless
z3_tutorial
stainless | z3_tutorial | |
---|---|---|
3 | 1 | |
347 | 147 | |
0.6% | - | |
8.2 | 0.0 | |
10 days ago | 6 months ago | |
HTML | Jupyter Notebook | |
Apache License 2.0 | - |
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.
stainless
z3_tutorial
-
Software Verification and Analysis Using Z3
I'm giving a tutorial in a couple of days. Vids will be up later.
https://github.com/philzook58/z3_tutorial
What are some alternatives?
sbvPlugin - Formally prove properties of Haskell programs using SBV/SMT.
lean4 - Lean 4 programming language and theorem prover
intro-cats-effect - Slides and video recording for my "Intro to Cats-Effect" talk
intro-to-python - [READ-ONLY MIRROR] An intro to Python & programming for wanna-be data scientists
docs.scala-lang - The Scala Documentation website
souper - A superoptimizer for LLVM IR
refined - Refinement types for Scala
ivy - IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
scalable-data-science - Scalable Data Science, course sets in big data Using Apache Spark over databricks and their mathematical, statistical and computational foundations using SageMath.
manticore - Symbolic execution tool
foundations - Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.
iron - Strong type constraints for Scala