logic-ng / LogicNGLinks
The Next Generation Logic Library
☆148Updated 2 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…☆161Updated last week
- Java Constraint Programming solver☆229Updated last year
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- Kotlin/Java API for various SMT solvers☆34Updated this week
- Java Algebra System (JAS) Project☆46Updated last year
- dk.brics.automaton - finite-state automata and regular expressions for Java☆228Updated 3 weeks ago
- TurnKey artifact for Z3☆39Updated last week
- Master repository for the JHeaps project☆50Updated 4 years ago
- https://openjdk.org/projects/tsan☆27Updated this week
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated last week
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- Assorted functional-oriented data structures and algorithms for Java.☆115Updated 7 months ago
- Examples on how to use the Spoon Java source code transformation library☆90Updated 3 years ago
- Property-based test framework☆82Updated last month
- A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.☆219Updated 10 months ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Updated 3 years ago
- Purely functional data structures in Java☆39Updated 4 years ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆30Updated last month
- a book about declarative language definition☆23Updated 9 years ago
- Dynamic parser combinators in Java.☆176Updated this week
- Spoofax runtime☆149Updated 5 months ago
- JavaCC☆74Updated 4 months ago
- Kotlin Language Support – AST Library☆114Updated last week
- The highly-optimized fork of ANTLR 4 (see README)☆75Updated last year
- Java port of a concurrent trie hash map implementation from the Scala collections library☆29Updated 8 months ago
- PEG parser generator for Java 17 - grammar as algebraic datatypes☆66Updated 3 years ago
- xtext-xtend☆106Updated 2 years ago
- An open-source Java library for Constraint Programming☆732Updated 2 weeks ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆29Updated 3 months ago
- Fluent API generator☆41Updated this week