Alternatives and similar repositories for easy_z3:

Users that are interested in easy_z3 are comparing it to the libraries listed below

• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• harp-lab / gdlog
  ☆81Updated 5 months ago
• tweag / clodl
  Turn dynamically linked ELF binaries and libraries into self-contained closures.
  ☆174Updated 10 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 5 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆108Updated last week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆265Updated this week
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆158Updated 2 weeks ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 2 weeks ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆264Updated last month
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆261Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• ronomon / pure
  A static analysis file format checker.
  ☆239Updated 4 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆245Updated last week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆632Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 7 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 5 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated this week
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆104Updated last month
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 5 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 3 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago