Z3_tutorial Alternatives

Similar projects and alternatives to z3_tutorial based on common topics and language

• lean4

  55 3,763 9.9 Lean z3_tutorial VS lean4

  Lean 4 programming language and theorem prover

  

• souper

  12 2,074 3.4 C++ z3_tutorial VS souper

  A superoptimizer for LLVM IR

  

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• stainless

  3 347 8.2 HTML z3_tutorial VS stainless

  Verification framework and tool for higher-order Scala programs (by epfl-lara)

  

• intro-to-python

  1 871 0.0 Jupyter Notebook z3_tutorial VS intro-to-python

  [READ-ONLY MIRROR] An intro to Python & programming for wanna-be data scientists

• ivy

  1 200 6.5 C++ z3_tutorial VS ivy

  Discontinued 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. (by microsoft)

  

• reinforcement_learning_course_materials

  1 902 8.3 Jupyter Notebook z3_tutorial VS reinforcement_learning_course_materials

  Lecture notes, tutorial tasks including solutions as well as online videos for the reinforcement learning course hosted by Paderborn University