logic-ng / LogicNGLinks
The Next Generation Logic Library
☆151Updated 2 weeks ago
Alternatives and similar repositories for LogicNG
Users that are interested in LogicNG are comparing it to the libraries listed below
Sorting:
- 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 2 weeks ago
- JavaSMT - Unified Java API for SMT solvers.☆230Updated last week
- Kotlin/Java API for various SMT solvers☆36Updated 4 months ago
- TurnKey artifact for Z3☆43Updated 3 months ago
- A free, open-source Java library for automata, graphs, and transition systems☆99Updated this week
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆44Updated last week
- Java Constraint Programming solver☆232Updated this week
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- Java Algebra System (JAS) Project☆48Updated last year
- Polyglot Extensible Compiler Framework for Java☆113Updated 4 years ago
- https://openjdk.org/projects/tsan☆27Updated this week
- Pluggable type-checking for Java☆27Updated this week
- Starlasu - A Language Engineering Framework☆116Updated last week
- Examples on how to use the Spoon Java source code transformation library☆91Updated 3 years ago
- Fluent API generator☆42Updated 2 weeks ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆109Updated 2 years ago
- Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.☆62Updated 2 years ago
- Property-based test framework☆82Updated 5 months ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆234Updated 4 months ago
- xtext-xtend☆106Updated 2 years ago
- An open-source Java library for Constraint Programming☆750Updated this week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated last week
- A platform for analysis of Java bytecode☆38Updated last year
- Spoofax runtime☆160Updated 9 months ago
- Master repository for the JHeaps project☆52Updated 4 years ago
- SMTInterpol interpolating SMT solver☆69Updated last week
- Assorted functional-oriented data structures and algorithms for Java.☆117Updated 2 weeks ago
- Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle☆28Updated 2 years ago
- Jarviz is dependency analysis and visualization tool designed for Java applications☆162Updated this week
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Updated 4 years ago