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
  ☆109Updated 3 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 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…
  ☆149Updated this week
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆45Updated last year
• java-port / clank
  Clank is a Java-port of popular Clang frontend
  ☆38Updated 7 years ago
• kaby76 / Trash
  Toolkit for grammars
  ☆81Updated this week
• metaborg / spoofax
  Spoofax runtime
  ☆133Updated 5 months ago
• Sable / jasmin
  ☆94Updated 3 years ago
• julianthome / inmemantlr
  ANTLR as a libray for JVM based languages
  ☆108Updated last year
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆102Updated 6 years ago
• tunnelvisionlabs / antlr4
  The highly-optimized fork of ANTLR 4 (see README)
  ☆74Updated 10 months ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• jayhorn / jayhorn
  Static checker for Java
  ☆84Updated this week
• usethesource / clair
  C Language Analysis in Rascal
  ☆25Updated 2 months ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• oranoran / antlr4-autosuggest
  Java auto-suggest engine for ANTLR4 grammars
  ☆64Updated 6 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆77Updated 8 years ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆195Updated this week
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 10 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated this week
• polyglot-compiler / JLang
  JLang: Ahead-of-time compilation of Java programs to LLVM
  ☆296Updated 4 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 3 months ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆83Updated this week
• parrt / cs652
  University of San Francisco CS652 -- Programming Languages
  ☆133Updated 5 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆229Updated this week
• tomokinakamaru / silverchain
  Fluent API generator
  ☆41Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 6 months ago