cs-au-dk / dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
☆218Updated 7 months ago
Alternatives and similar repositories for dk.brics.automaton:
Users that are interested in dk.brics.automaton are comparing it to the libraries listed below
- JavaCC☆71Updated last year
- Polyglot Extensible Compiler Framework for Java☆110Updated 3 years ago
- Apache Commons BCEL☆256Updated this week
- ☆95Updated 3 years ago
- ANTLR as a libray for JVM based languages☆108Updated last year
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆292Updated 7 years ago
- (Deprecated) Compile-time transformer to run Groovy code in a restrictive sandbox☆125Updated 4 months ago
- Examples on how to use the Spoon Java source code transformation library☆86Updated 2 years ago
- Fork of jdk8u/hotspot with support for JVMCI☆74Updated 3 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆73Updated last year
- Dynamic parser combinators in Java.☆169Updated last month
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated last week
- Java auto-suggest engine for ANTLR4 grammars☆64Updated 6 years ago
- Continuations / CoRoutines for Java 1.6 - 23, build tools, CDI support. This project is based on completely re-worked Apache Jakarta Comm…☆84Updated 11 months ago
- Utility class to compile java source code in memory☆268Updated 3 years ago
- Maxine VM: A meta-circular research VM☆327Updated 4 years ago
- The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC☆40Updated last month
- JavaSMT - Unified Java API for SMT solvers.☆217Updated this week
- Build parsers in Java☆344Updated 3 years ago
- ☆178Updated this week
- A simple scripting frontend for the Java Debugger Interface☆58Updated 5 years ago
- The DaCapo benchmark suite☆173Updated 2 months ago
- TurnKey artifact for Z3☆36Updated last week
- String matching algorithms for searching a single or multiple strings in large texts☆44Updated 9 months ago
- An efficient sparse bit set implementation for Java☆266Updated last year
- Jarviz is dependency analysis and visualization tool designed for Java applications☆145Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆151Updated 3 weeks ago
- Sample project with a basic Maven + JavaParser setup☆93Updated 3 months ago
- Automatically exported from code.google.com/p/memory-measurer☆277Updated 7 years ago
- a concolic testing engine for Java☆103Updated 7 years ago