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
  ☆99Updated last year
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆185Updated last month
• llllllllll / codetransformer
  Python code object transformers
  ☆185Updated last year
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆79Updated 2 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 9 months ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆78Updated last week
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆583Updated last month
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆145Updated last week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆134Updated 8 months ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆177Updated last week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆72Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆265Updated this week
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• Parquery / icontract
  Design-by-contract in Python3 with informative violation messages and inheritance
  ☆355Updated 5 months ago
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆246Updated 2 years ago
• takluyver / astsearch
  Intelligently search in Python code
  ☆67Updated last year
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆323Updated 6 years ago
• llllllllll / quasiquotes
  I'd just like to interject for a moment...
  ☆51Updated 9 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆425Updated this week
• rems-project / lem
  Lem semantic definition language
  ☆137Updated 3 weeks ago
• python / typed_ast
  Modified fork of CPython's ast module that parses `# type:` comments
  ☆229Updated last year
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆85Updated last week
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆99Updated 2 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆666Updated last week
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated last year