Alternatives and similar repositories for VarexJ

Users that are interested in VarexJ are comparing it to the libraries listed below

• reudismam / Refazer
  ☆10Updated 6 years ago
• wslee / duet
  ☆20Updated 4 months ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆159Updated 2 weeks ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆23Updated last year
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆42Updated 4 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last month
• kensens / FrAngel
  A Java program synthesizer.
  ☆21Updated 6 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆67Updated last month
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆257Updated last year
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated this week
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆214Updated 3 months ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 3 months ago
• eprover / eprover
  ☆149Updated this week
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆211Updated 4 months ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆13Updated last year
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆36Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated this week
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆70Updated 2 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆150Updated last week
• metaborg / spoofax
  Spoofax runtime
  ☆146Updated 3 months ago
• cyrille-artho / modbat
  Modbat is a model-based API tester for stateful systems.
  ☆23Updated 2 years ago
• ModelInference / synoptic
  Inferring models of systems from observations of their behavior
  ☆85Updated 2 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆77Updated last week
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆40Updated 2 years ago
• Mestway / Scythe
  Synthesizing SQL queries from input / output examples
  ☆46Updated 4 years ago