logic-ng / LogicNG
The Next Generation Logic Library
☆132Updated last week
Related projects: ⓘ
- Java Constraint Programming solver☆220Updated 9 months ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆42Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆179Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆140Updated last month
- Polyglot Extensible Compiler Framework for Java☆107Updated 2 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆90Updated 3 weeks ago
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpa…☆32Updated 2 months ago
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- MPS-extensions aims to ease language development within MPS.☆82Updated this week
- ☆43Updated 7 months ago
- Master repository for the JHeaps project☆46Updated 3 years ago
- Java parser for digraph DSL (Graphviz DOT language)☆44Updated 7 years ago
- Kotlin Language Support – AST Library☆111Updated this week
- xtext-eclipse☆49Updated last year
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago
- Kotlin/Java API for various SMT solvers☆28Updated last month
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 9 months ago
- Software testing optimization tool☆26Updated 7 months ago
- The Melange Language Workbench☆28Updated last year
- Java Algebra System (JAS) Project☆44Updated 4 months ago
- Assorted functional-oriented data structures and algorithms for Java.☆105Updated 3 months ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆99Updated 8 months ago
- JavaCC☆69Updated last year
- An open-source Java library for Constraint Programming☆684Updated last week
- A suite of tools for analyzing compiled Java code.☆40Updated last week
- Spoofax runtime☆127Updated last month
- PEG parser generator for Java 17 - grammar as algebraic datatypes☆58Updated 2 years ago
- xtext-xtend☆103Updated last year
- An Example for an Xtext Language Server☆34Updated this week