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
  ☆103Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆112Updated last year
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• PyCQA / baron
  IDE allow you to refactor code, Baron allows you to write refactoring code.
  ☆293Updated 3 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆83Updated 3 years ago
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆251Updated 3 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆69Updated 5 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated 3 weeks ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 2 months ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆95Updated this week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆137Updated 11 months ago
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆468Updated last month
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆605Updated this week
• python / typed_ast
  Modified fork of CPython's ast module that parses `# type:` comments
  ☆229Updated last year
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆148Updated this week
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆85Updated 2 years ago
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆547Updated 4 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆301Updated 3 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 6 years ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆330Updated 7 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• neuroo / equip
  Python bytecode instrumentation library
  ☆119Updated 8 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆182Updated 2 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆207Updated 3 years ago
• boogie-org / boogie
  Boogie
  ☆544Updated 2 weeks ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago