sosy-lab / java-common-libLinks
SoSy-Lab Java Common Library
☆12Updated last week
Alternatives and similar repositories for java-common-lib
Users that are interested in java-common-lib are comparing it to the libraries listed below
Sorting:
- Java beans to Swift Codable converter☆22Updated last month
- ☆11Updated 6 years ago
- JDolly is a Java program generator☆9Updated 7 years ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Enables the extraction of Java AST nodes with plain JDT☆18Updated 7 years ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- TornadoInsight: Unleashing the Power of TornadoVM in IntelliJ IDEA☆14Updated last month
- Apache Maven PDF Plugin☆9Updated 2 months ago
- The TestCube Plugin --- amplifying your test cases since 2020☆11Updated 8 months ago
- JAYield - Java yield like generator☆11Updated 4 years ago
- Moved as a module into ebean.git repo☆8Updated 4 years ago
- Maven archetype to generate project for SpotBugs plugin☆12Updated 2 weeks ago
- [deprecated] Mirror of Apache Maven shared☆28Updated 5 years ago
- Arquillian Containers for Tomcat☆26Updated last week
- Windows installer for Groovy☆12Updated 3 years ago
- Flow Logix Jakarta EE Components for PrimeFaces and OmniFaces☆17Updated last week
- Muon Core for the JVM. APIs and Microservices taken to the next level☆18Updated 6 years ago
- Apache Maven Dependency Analyzer☆41Updated last month
- CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.☆61Updated 5 months ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 7 months ago
- Multi-module project that contains Jackson-based "new" Jakarta-RS (nee "JAX-RS" -- ones under `jakarta.ws.rs`) providers for JSON, XML, Y…☆16Updated last week
- EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing☆35Updated this week
- Maven plugin to handle multi module projects for PiTest☆47Updated 2 years ago
- Java Implementation of RegEx Pattern Reversing for backwards search using Java Pattern and a reversed character sequence of original text☆10Updated 2 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- Examples on how to use the Spoon Java source code transformation library☆89Updated 2 years ago
- ☆23Updated 12 years ago
- ☆9Updated 5 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 3 years ago