logic-ng / LogicNGLinks
The Next Generation Logic Library
☆148Updated last month
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…☆160Updated last month
- Java Constraint Programming solver☆229Updated last year
- A free, open-source Java library for modeling automata, graphs, and transition systems☆96Updated last week
- MPS-extensions aims to ease language development within MPS.☆85Updated this week
- TurnKey artifact for Z3☆39Updated this week
- Kotlin Language Support – AST Library☆113Updated 3 weeks ago
- JavaSMT - Unified Java API for SMT solvers.☆227Updated this week
- Polyglot Extensible Compiler Framework for Java☆113Updated 3 years ago
- Java Algebra System (JAS) Project☆46Updated last year
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated last week
- Kotlin/Java API for various SMT solvers☆32Updated 4 months ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆28Updated 2 months ago
- a book about declarative language definition☆23Updated 9 years ago
- xtext-xtend☆106Updated 2 years ago
- dk.brics.automaton - finite-state automata and regular expressions for Java☆227Updated this week
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- Examples on how to use the Spoon Java source code transformation library☆90Updated 2 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆75Updated last year
- An open-source Java library for Constraint Programming☆727Updated 2 weeks ago
- Assorted functional-oriented data structures and algorithms for Java.☆114Updated 6 months ago
- xtext-core☆116Updated 2 years ago
- ANTLR as a libray for JVM based languages☆109Updated 2 years ago
- Property-based test framework☆82Updated last week
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆108Updated last year
- Spoofax runtime☆147Updated 4 months ago
- A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.☆218Updated 9 months ago
- Fluent API generator☆41Updated last month
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆430Updated this week
- Java bindings for tree-sitter☆128Updated last year
- https://openjdk.org/projects/tsan☆27Updated last week