logic-ng / LogicNGLinks
The Next Generation Logic Library
☆147Updated 3 months 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…☆162Updated this week
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- JavaSMT - Unified Java API for SMT solvers.☆229Updated this week
- TurnKey artifact for Z3☆41Updated this week
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆30Updated 2 months ago
- xtext-xtend☆106Updated 2 years ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆229Updated last month
- Java Algebra System (JAS) Project☆46Updated last year
- Kotlin/Java API for various SMT solvers☆34Updated 3 weeks ago
- Starlasu - A Language Engineering Framework☆114Updated this week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆97Updated 3 weeks ago
- ANTLR as a libray for JVM based languages☆108Updated 2 years ago
- xtext-core☆116Updated 2 years ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆108Updated last year
- Java Constraint Programming solver☆230Updated last year
- Property-based test framework☆82Updated last month
- JavaCC☆74Updated 5 months ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆30Updated 4 months ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆44Updated last week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated this week
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆118Updated last year
- https://openjdk.org/projects/tsan☆27Updated this week
- Pluggable type-checking for Java☆23Updated last week
- Java Concolic Unit Testing Engine☆92Updated 11 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆75Updated last year
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Updated last month
- A sample plugin for jetbrains IDEs that uses an ANTLR grammar for a nontrivial custom language.☆120Updated 4 years ago
- Examples on how to use the Spoon Java source code transformation library☆91Updated 3 years ago
- A suite of tools for analyzing compiled Java code.☆48Updated this week