Alternatives and similar repositories for symtab

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

• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 4 years ago
• java-port / clank
  Clank is a Java-port of popular Clang frontend
  ☆38Updated 8 years ago
• tunnelvisionlabs / antlr4
  The highly-optimized fork of ANTLR 4 (see README)
  ☆75Updated last year
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 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…
  ☆168Updated 2 weeks ago
• gabriele-tomassetti / antlr-mega-tutorial
  This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.
  ☆280Updated 4 years ago
• SableCC / sablecc
  SableCC
  ☆154Updated last year
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆46Updated 2 years ago
• julianthome / inmemantlr
  ANTLR as a libray for JVM based languages
  ☆109Updated 2 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 5 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆93Updated 11 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• xtext / seven-languages-xtext
  Seven Languages in Seven Weeks (with Xtext)
  ☆72Updated 2 years ago
• parrt / simple-virtual-machine
  A simple VM for a talk on building VMs
  ☆224Updated 8 years ago
• JikesRVM / JikesRVM
  Jikes RVM (Research Virtual Machine)
  ☆419Updated 3 years ago
• stephenfreund / RoadRunner
  ☆75Updated 8 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆105Updated 7 years ago
• antlr / antlr5
  ☆72Updated last year
• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆100Updated 4 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆131Updated 4 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated this week
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆227Updated 2 years ago
• dacapobench / dacapobench
  The DaCapo benchmark suite
  ☆192Updated 5 months ago
• cil-project / cil
  C Intermediate Language
  ☆394Updated 2 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 4 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated this week
• beehive-lab / Maxine-VM
  Maxine VM: A meta-circular research VM
  ☆336Updated 5 years ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆252Updated this week