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
  ☆107Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆115Updated last year
• pschanely / CrossHair
  An analysis tool for Python that blurs the line between testing and type systems.
  ☆1,233Updated last week
• mvitousek / reticulated
  Types for Python
  ☆87Updated 7 years ago
• caterinaurban / Typpete
  ☆37Updated 6 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆193Updated 3 months ago
• neogeny / TatSu
  竜 TatSu generates Python parsers from grammars in a variation of EBNF
  ☆435Updated 2 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆157Updated this week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆140Updated last year
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 5 years ago
• qntm / greenery
  Regular expression manipulation library
  ☆390Updated 2 months ago
• Parquery / icontract
  Design-by-contract in Python3 with informative violation messages and inheritance
  ☆387Updated last month
• CodyKochmann / battle_tested
  Fully automated python fuzzer built to test if code actually is production ready in seconds.
  ☆111Updated 8 months ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆621Updated 3 months ago
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆255Updated 3 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• markshannon / python_formal_semantics
  ☆17Updated 5 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆86Updated 3 years ago
• llllllllll / codetransformer
  Python code object transformers
  ☆184Updated last year
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆101Updated last week
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• jspahrsummers / adt
  Algebraic data types for Python (experimental, not actively maintained)
  ☆171Updated 4 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆144Updated this week
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆90Updated last week
• drhagen / parsita
  The easiest way to parse text in Python
  ☆109Updated last month
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆81Updated last week
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 5 years ago
• simonpercivall / astunparse
  An AST unparser for Python
  ☆230Updated 2 years ago