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
• pschanely / CrossHair
  An analysis tool for Python that blurs the line between testing and type systems.
  ☆1,196Updated last week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆138Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆114Updated last year
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆253Updated 3 years ago
• neogeny / TatSu
  竜 TatSu generates Python parsers from grammars in a variation of EBNF
  ☆429Updated 2 months ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated 3 weeks ago
• qntm / greenery
  Regular expression manipulation library
  ☆370Updated last year
• CodyKochmann / battle_tested
  Fully automated python fuzzer built to test if code actually is production ready in seconds.
  ☆108Updated 5 months ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆85Updated 3 years ago
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆87Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆96Updated last week
• caterinaurban / Typpete
  ☆37Updated 6 years ago
• vlasovskikh / funcparserlib
  Recursive descent parsing library for Python based on functional combinators
  ☆355Updated last year
• llllllllll / codetransformer
  Python code object transformers
  ☆184Updated last year
• mrocklin / unification
  ☆71Updated 4 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 4 years ago
• hchasestevens / hypothesis-protobuf
  Hypothesis extension to allow generating protobuf messages matching a schema.
  ☆42Updated 6 years ago
• Parquery / icontract
  Design-by-contract in Python3 with informative violation messages and inheritance
  ☆381Updated 11 months ago
• ingolemo / python-lenses
  A python lens library for manipulating deeply nested immutable structures
  ☆326Updated last year
• grantjenks / python-pattern-matching
  Python pattern matching like functional languages.
  ☆160Updated 4 years ago
• azazel75 / macropy
  Macros in Python: quasiquotes, case classes, LINQ and more!
  ☆29Updated 5 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• python-parsy / parsy
  Easy and elegant parser combinators for Python. With awesome docs.
  ☆405Updated this week
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆107Updated 8 months ago
• PyCQA / baron
  IDE allow you to refactor code, Baron allows you to write refactoring code.
  ☆297Updated 3 years ago
• AndreaCensi / contracts
  PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified…
  ☆408Updated 2 weeks ago
• jspahrsummers / adt
  Algebraic data types for Python (experimental, not actively maintained)
  ☆172Updated 4 years ago
• textX / Arpeggio
  Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/
  ☆282Updated this week