Alternatives and similar repositories for alex

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

• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 weeks ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆29Updated 8 months ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆26Updated 6 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆11Updated 6 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 4 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆47Updated 3 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆215Updated 2 weeks ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 7 months ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated 2 weeks ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆21Updated 3 years ago
• ucla-pls / jreduce
  JReduce is a tool to reduce Java ByteCode
  ☆12Updated 3 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆89Updated 10 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated 2 months ago
• gaoxiang9430 / Fix2Fit
  ☆20Updated 3 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 5 months ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆31Updated last year
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆120Updated 6 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 7 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆35Updated 3 weeks ago
• wala / ML
  ☆26Updated this week
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆80Updated last week
• lu-cs-sde / metadl
  MetaDL: Datalog analyzing Datalog, Java or any language of your choice
  ☆16Updated 4 months ago