graphs4value / refineryLinks
Refinery: an efficient graph solver for generating well-formed models
☆17Updated 2 weeks ago
Alternatives and similar repositories for refinery
Users that are interested in refinery are comparing it to the libraries listed below
Sorting:
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- The Next Generation Logic Library☆146Updated 7 months ago
- The Train Benchmark framework for evaluating incremental model validation performance☆12Updated 2 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆46Updated 9 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 9 months ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated 2 weeks ago
- Experimental SQL to Cypher Transpiler using jooq and cypher-dsl☆27Updated last year
- Sandwood - A JVM based Java like Probabilistic Programming Language☆28Updated 2 weeks ago
- Implementation of the G-CORE graph query language on Spark☆15Updated 3 years ago
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆22Updated 2 weeks ago
- Pluggable type-checking for Java☆21Updated this week
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆102Updated this week
- ANTLR Grammar and related content for GQL.☆31Updated last month
- A lazy-grounding Answer-Set Programming system☆60Updated 4 months ago
- WebGraph is a framework for graph compression.☆61Updated last week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Datalog that's as easy as ABC.☆59Updated last month
- PGQL is an SQL-based query language for property graphs☆196Updated last month
- Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal for…☆25Updated 3 years ago
- Parsing, AST and semantic analysis for the Cypher Query Language☆59Updated last year
- DSLs for modeling and analyzing farming systems☆11Updated 8 years ago
- Labelled Subgraph Query Benchmark – A lightweight benchmark suite focusing on subgraph matching queries. Note: This is a microbenchmark f…☆33Updated 2 months ago
- ☆12Updated 6 years ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated last week
- common-xtext-expression-language (CXEL) is an Xtext based DSL and a java runtime engine for expressions and commonly used functions for d…☆8Updated 2 years ago
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆33Updated last week
- TurnKey artifact for Z3☆38Updated last week
- Whelk is an OWL EL reasoner☆31Updated 4 months ago
- ☆10Updated 6 years ago
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆76Updated last week