marcoeilers / nagini

Related projects ⓘ

Alternatives and complementary repositories for nagini

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆95Updated 8 months ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 5 months ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆78Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆135Updated last week
• pschanely / CrossHair
  An analysis tool for Python that blurs the line between testing and type systems.
  ☆1,026Updated this week
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆172Updated last month
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆229Updated this week
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆574Updated 2 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆209Updated 4 years ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆438Updated this week
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆677Updated last week
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆247Updated 2 years ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆98Updated 2 years ago
• CodyKochmann / battle_tested
  Fully automated python fuzzer built to test if code actually is production ready in seconds.
  ☆105Updated 3 months ago
• llllllllll / codetransformer
  Python code object transformers
  ☆184Updated 8 months ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆127Updated 4 months ago
• verifast / verifast
  Research prototype tool for modular formal verification of C and Java programs
  ☆359Updated 2 weeks ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆89Updated 2 weeks ago
• takluyver / astsearch
  Intelligently search in Python code
  ☆67Updated 8 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• boogie-org / boogie
  Boogie
  ☆514Updated this week
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆217Updated 3 months ago
• rems-project / lem
  Lem semantic definition language
  ☆130Updated 8 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆396Updated last week
• mrocklin / unification
  ☆72Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆46Updated last week