logic-ng / LogicNGLinks
The Next Generation Logic Library
☆146Updated 7 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…☆158Updated this week
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- Java Constraint Programming solver☆226Updated last year
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆107Updated last year
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- TurnKey artifact for Z3☆38Updated this week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆95Updated last month
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated 2 weeks ago
- Seven Languages in Seven Weeks (with Xtext)☆71Updated 2 years ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆225Updated 11 months ago
- Examples on how to use the Spoon Java source code transformation library☆89Updated 2 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆73Updated last year
- Kotlin Language Support – AST Library☆112Updated this week
- Sandwood - A JVM based Java like Probabilistic Programming Language☆28Updated 2 weeks ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆117Updated 11 months ago
- Java Concolic Unit Testing Engine☆89Updated 11 years ago
- Property-based test framework☆80Updated 2 years ago
- xtext-core☆117Updated 2 years ago
- Pluggable type-checking for Java☆21Updated this week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated last week
- a concolic testing engine for Java☆106Updated 7 years ago
- A suite of tools for analyzing compiled Java code.☆48Updated last week
- Java Algebra System (JAS) Project☆44Updated last year
- Recaffeinating Java ☕️ with custom semantics and extensions☆51Updated 3 years ago
- Java port of a concurrent trie hash map implementation from the Scala collections library☆29Updated 5 months ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆27Updated 6 months ago
- A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK☆33Updated last year
- ANTLR as a libray for JVM based languages☆108Updated 2 years ago
- JavaCC☆74Updated 2 months ago