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
  ☆98Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 8 months ago
• pschanely / CrossHair
  An analysis tool for Python that blurs the line between testing and type systems.
  ☆1,083Updated 3 weeks ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆78Updated 2 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆133Updated 7 months ago
• caterinaurban / Typpete
  ☆36Updated 5 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆75Updated this week
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆584Updated 2 weeks ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆184Updated 2 weeks ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 7 years ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆99Updated last month
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆119Updated 2 years ago
• llllllllll / codetransformer
  Python code object transformers
  ☆185Updated 11 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆144Updated this week
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆176Updated last month
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆245Updated 2 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• neogeny / TatSu
  竜 TatSu generates Python parsers from grammars in a variation of EBNF
  ☆414Updated last month
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 3 months ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆200Updated 3 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆664Updated 3 months ago
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆83Updated 2 years ago
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆696Updated this week
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 3 months ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆225Updated 2 months ago