cs-au-dk / dk.brics.automatonLinks
dk.brics.automaton - finite-state automata and regular expressions for Java
☆228Updated last month
Alternatives and similar repositories for dk.brics.automaton
Users that are interested in dk.brics.automaton are comparing it to the libraries listed below
Sorting:
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- ANTLR as a libray for JVM based languages☆108Updated 2 years ago
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆296Updated 7 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆75Updated last year
- JavaCC☆74Updated 5 months ago
- Java auto-suggest engine for ANTLR4 grammars☆70Updated 7 years ago
- An IntelliJ plugin for ANTLR v4☆485Updated last month
- Examples on how to use the Spoon Java source code transformation library☆91Updated 3 years ago
- Collection of small Java serviceability improvements based on JVM Tool Interface☆179Updated 5 years ago
- A suite of tools for analyzing compiled Java code.☆48Updated 3 weeks ago
- The Next Generation Logic Library☆147Updated 2 months ago
- Fork of jdk8u/hotspot with support for JVMCI☆74Updated 3 years ago
- Apache Commons BCEL☆263Updated last week
- The fast scanner generator for Java™ with full Unicode support☆617Updated 9 months ago
- Code samples for the book "JavaParser: Visited" https://leanpub.com/javaparservisited☆102Updated 2 years ago
- A tool for finding assumptions on APIs with under-determined specifications.☆49Updated 11 months ago
- jbool_expressions is a simple open-source library for creating and manipulating propositional logic expressions in java☆153Updated 2 years ago
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- JavaSMT - Unified Java API for SMT solvers.☆229Updated this week
- Jarviz is dependency analysis and visualization tool designed for Java applications☆160Updated this week
- Maxine VM: A meta-circular research VM☆333Updated 4 years ago
- A tool for checking backward API/ABI compatibility of a Java library☆379Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆162Updated last month
- External-Memory Sorting in Java☆261Updated last week
- (Deprecated) Compile-time transformer to run Groovy code in a restrictive sandbox☆128Updated 11 months ago
- https://openjdk.org/projects/code-tools/jtreg☆67Updated 2 weeks ago
- Sample project with a basic Maven + JavaParser setup☆97Updated 3 weeks ago
- Command-line tool used for the development of Graal projects.☆194Updated 2 weeks ago
- Apache Maven Artifact Resolver☆137Updated last week
- Utility class to compile java source code in memory☆274Updated 4 years ago