antlr / symtabLinks
Generic symbol table for lexically/statically scoped languages
☆53Updated 8 years ago
Alternatives and similar repositories for symtab
Users that are interested in symtab are comparing it to the libraries listed below
Sorting:
- Polyglot Extensible Compiler Framework for Java☆113Updated 4 years ago
- 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 last week
- The highly-optimized fork of ANTLR 4 (see README)☆75Updated last year
- ANTLR as a libray for JVM based languages☆109Updated 2 years ago
- SableCC☆154Updated last year
- Clank is a Java-port of popular Clang frontend☆38Updated 8 years ago
- Java Concolic Unit Testing Engine☆93Updated 11 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- A static verifier for concurrent C programs☆136Updated 5 years ago
- Spoofax runtime☆160Updated 9 months ago
- GenProg: heuristic, GP-based automatic program repair for C.☆100Updated 4 years ago
- University of San Francisco CS652 -- Programming Languages☆133Updated 6 years ago
- The mbeddr core. An extensible C☆227Updated last week
- JLang: Ahead-of-time compilation of Java programs to LLVM☆305Updated 5 years ago
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- ☆72Updated last year
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆54Updated 7 months ago
- The Whiley Compiler (WyC)☆227Updated 2 years ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆233Updated 4 months ago
- Automata and transducer library for .NET☆82Updated 5 years ago
- ☆97Updated 4 years ago
- a concolic testing engine for Java☆105Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 7 years ago
- Dynamic detection of likely invariants☆244Updated last week
- An LLVM IR Editor plugin for Eclipse☆53Updated 12 years ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆448Updated this week
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆175Updated last week
- 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