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
  ☆102Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆112Updated 11 months ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆86Updated this week
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆119Updated 2 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆80Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• llllllllll / codetransformer
  Python code object transformers
  ☆185Updated last year
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆298Updated last month
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆717Updated this week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆136Updated 10 months ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆75Updated 2 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆109Updated 2 weeks ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 3 weeks ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated last month
• pschanely / CrossHair
  An analysis tool for Python that blurs the line between testing and type systems.
  ☆1,122Updated 3 weeks ago
• mrocklin / unification
  ☆71Updated 4 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated last week
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆249Updated 3 years ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆102Updated 4 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆591Updated this week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• deadpixi / contracts
  An implementation of contracts for Python.
  ☆344Updated 5 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 7 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆160Updated last month
• rems-project / lem
  Lem semantic definition language
  ☆139Updated last month
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆456Updated 3 weeks ago