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
  ☆106Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated last year
• pschanely / CrossHair
  An analysis tool for Python that blurs the line between testing and type systems.
  ☆1,179Updated 2 weeks ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆137Updated last year
• qntm / greenery
  Regular expression manipulation library
  ☆366Updated last year
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆150Updated this week
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆190Updated 4 months ago
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆252Updated 3 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆616Updated 2 weeks ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆95Updated this week
• neogeny / TatSu
  竜 TatSu generates Python parsers from grammars in a variation of EBNF
  ☆427Updated last month
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆267Updated 3 weeks ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆106Updated 7 months ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆183Updated last month
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 4 years ago
• cesbit / pyleri
  Python Parser
  ☆121Updated last year
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆84Updated 3 years ago
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆87Updated 2 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• Parquery / icontract
  Design-by-contract in Python3 with informative violation messages and inheritance
  ☆379Updated 10 months ago
• jspahrsummers / adt
  Algebraic data types for Python (experimental, not actively maintained)
  ☆173Updated 4 years ago
• llllllllll / codetransformer
  Python code object transformers
  ☆184Updated last year
• deadpixi / contracts
  An implementation of contracts for Python.
  ☆345Updated 5 years ago
• python / typed_ast
  Modified fork of CPython's ast module that parses `# type:` comments
  ☆229Updated 2 years ago