cs-au-dk / dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
☆211Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for dk.brics.automaton
- Polyglot Extensible Compiler Framework for Java☆107Updated 2 years ago
- JavaCC☆70Updated last year
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆73Updated 8 months ago
- Java bindings for tree-sitter☆126Updated 11 months ago
- *old repository* --> this is now integrated in https://github.com/javaparser/javaparser☆290Updated 6 years ago
- ☆94Updated 2 years ago
- The DaCapo benchmark suite☆160Updated last week
- Sample project with a basic Maven + JavaParser setup☆91Updated 2 months ago
- (Deprecated) Compile-time transformer to run Groovy code in a restrictive sandbox☆123Updated 2 weeks ago
- Java auto-suggest engine for ANTLR4 grammars☆65Updated 6 years ago
- Jarviz is dependency analysis and visualization tool designed for Java applications☆139Updated last week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- Apache Maven Artifact Resolver☆128Updated this week
- ANTLR as a libray for JVM based languages☆108Updated last year
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- A dynamic symbolic analysis tool for Java☆113Updated 5 years ago
- Code samples for the book "JavaParser: Visited" https://leanpub.com/javaparservisited☆101Updated last year
- Tools for type annotations in Java☆38Updated last 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…☆143Updated 3 months ago
- Revapi is an API analysis and change tracking tool written in Java. Its focus is mainly on Java language itself but it has been specif…☆188Updated 4 months ago
- Automatic test generation for Java☆539Updated this week
- Sample project with basic Maven + JavaSymbolSolver set up☆37Updated 2 months ago
- jbool_expressions is a simple open-source library for creating and manipulating propositional logic expressions in java☆149Updated last year
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆161Updated last week
- Library for introspecting generic type information of types, member/static methods, fields. Especially useful for POJO/Bean introspection…☆258Updated last week
- ☆12Updated 3 years ago