logic-ng / LogicNGLinks
The Next Generation Logic Library
☆149Updated 4 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…☆163Updated this week
- Java Constraint Programming solver☆230Updated 2 years ago
- Kotlin/Java API for various SMT solvers☆34Updated 2 months ago
- Java Algebra System (JAS) Project☆47Updated last year
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- TurnKey artifact for Z3☆42Updated last month
- JavaSMT - Unified Java API for SMT solvers.☆229Updated this week
- Property-based test framework☆82Updated 3 months ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆109Updated last year
- Starlasu - A Language Engineering Framework☆114Updated 2 weeks ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆32Updated 2 weeks ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆31Updated 5 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
- Assorted functional-oriented data structures and algorithms for Java.☆116Updated 9 months ago
- The highly-optimized fork of ANTLR 4 (see README)☆75Updated last year
- A Java library for fast symbolic-numeric computation☆80Updated 5 years ago
- A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK☆34Updated last year
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- dk.brics.automaton - finite-state automata and regular expressions for Java☆230Updated 2 months ago
- A free, open-source Java library for automata, graphs, and transition systems☆98Updated this week
- A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.☆221Updated last year
- Fluent API generator☆42Updated 3 weeks ago
- https://openjdk.org/projects/tsan☆27Updated last week
- Railroad Diagrams for ANTLR 4 grammar rules.☆109Updated last year
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated 5 months ago
- Examples on how to use the Spoon Java source code transformation library☆92Updated 3 years ago
- JavaCC☆75Updated 6 months ago
- A sample plugin for jetbrains IDEs that uses an ANTLR grammar for a nontrivial custom language.☆120Updated 4 years ago
- An open-source Java library for Constraint Programming☆739Updated last week
- Java bindings for tree-sitter☆128Updated 2 years ago