Alternatives and similar repositories for nagini

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

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆102Updated last year
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆602Updated this week
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆112Updated last year
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆110Updated this week
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 2 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated last year
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 7 years ago
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆248Updated 3 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆82Updated 2 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆120Updated 2 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆206Updated 3 years ago
• python / typed_ast
  Modified fork of CPython's ast module that parses `# type:` comments
  ☆229Updated last year
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆330Updated 7 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated last month
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆719Updated this week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆137Updated 10 months ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆102Updated 4 months ago
• llllllllll / codetransformer
  Python code object transformers
  ☆185Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆408Updated this week
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆146Updated this week
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆464Updated 3 weeks ago
• boogie-org / boogie
  Boogie
  ☆538Updated last week