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
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 9 months ago
• pschanely / CrossHair
  An analysis tool for Python that blurs the line between testing and type systems.
  ☆1,093Updated this week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆135Updated 8 months ago
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆706Updated this week
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆584Updated last month
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆79Updated 2 years ago
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆454Updated 2 months ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆201Updated 3 years ago
• thomasjball / PyExZ3
  Python Exploration with Z3
  ☆327Updated 6 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆78Updated last week
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆185Updated last week
• boogie-org / boogie
  Boogie
  ☆530Updated last week
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 7 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated this week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆668Updated 2 weeks ago
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆120Updated 2 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆225Updated 2 weeks ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 11 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 4 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆145Updated this week
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆426Updated this week
• drhagen / parsita
  The easiest way to parse text in Python
  ☆102Updated 3 months ago
• caterinaurban / Lyra
  ☆30Updated 7 months ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆303Updated last week