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 3 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆63Updated 3 weeks ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years 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…
  ☆158Updated last week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last week
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆43Updated 4 years ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆226Updated last week
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 2 weeks ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆98Updated 8 months ago
• TorXakis / TorXakis
  A tool for Model Based Testing
  ☆48Updated last month
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• metaborg / spoofax
  Spoofax runtime
  ☆146Updated 2 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated last week
• harp-project / AML-Formalization
  ☆11Updated last week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆395Updated last week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆67Updated 3 weeks ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆81Updated 11 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated 4 months ago
• cyrille-artho / modbat
  Modbat is a model-based API tester for stateful systems.
  ☆23Updated 2 years ago
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆12Updated 2 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆317Updated last week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆378Updated 6 months ago