maxbannach / JdrasilLinks
A Modular Library for Computing Tree Decompositions
☆17Updated last year
Alternatives and similar repositories for Jdrasil
Users that are interested in Jdrasil are comparing it to the libraries listed below
Sorting:
- Sux4J is an effort to bring succinct data structures to Java.☆171Updated 7 months ago
- Graphstream algo☆105Updated 3 years ago
- Extensible stream pipelines with object algebras.☆26Updated 10 years ago
- Graphstream core☆421Updated 2 years ago
- Java Constraint Programming solver☆232Updated this week
- The Next Generation Logic Library☆151Updated 2 weeks ago
- Java Algebra System (JAS) Project☆48Updated last year
- Library which contains several time-dependent data and index structures (e.g., IntervalTree, BucketTimeSeries), as well as algorithms.☆131Updated 6 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- Compact Data Structures Library☆129Updated 11 years ago
- Neat algorithm implementations in Java.☆120Updated 4 years ago
- JSuffixArrays (Suffix Arrays in Java)☆59Updated 9 years ago
- String matching algorithms for searching a single or multiple strings in large texts☆48Updated last year
- Benchmarking various graph databases, engines, datastructures, and data stores.☆37Updated 12 years ago
- A Minimal Perfect Hash Function Library☆173Updated 4 years ago
- A Java implementation of a Generalized Suffix Tree using Ukkonen's algorithm☆126Updated 3 weeks ago
- Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar☆24Updated 6 years ago
- Polyglot Extensible Compiler Framework for Java☆113Updated 4 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- LSHDB is a parallel and distributed data engine, which relies on Locality-Sensitive Hashing and noSQL systems, for performing record link…☆31Updated 3 years ago
- a book about declarative language definition☆24Updated 9 years ago
- Java port of a concurrent trie hash map implementation from the Scala collections library☆29Updated last year
- SIMD Intrinsics in the JVM☆48Updated 8 years ago
- A free, open-source Java library for automata, graphs, and transition systems☆99Updated last week
- ☆58Updated 3 years ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆138Updated this week
- Automata and transducer library for .NET☆82Updated 5 years ago
- Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase☆66Updated 9 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 12 years ago