Alternatives and similar repositories for Jdrasil:

Users that are interested in Jdrasil are comparing it to the libraries listed below

• vigna / Sux4J
  Sux4J is an effort to bring succinct data structures to Java.
  ☆156Updated last year
• fclaude / libcds
  Compact Data Structures Library
  ☆124Updated 10 years ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆50Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆137Updated 2 months ago
• gh-rdf3x / gh-rdf3x
  Extension of the rdf3x engine and the translatesparql tool.
  ☆46Updated 11 years ago
• carrotsearch / jsuffixarrays
  JSuffixArrays (Suffix Arrays in Java)
  ☆59Updated 7 years ago
• xxsds / sdsl-lite
  Succinct Data Structure Library 3.0
  ☆93Updated 4 months ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• xxsds / DYNAMIC
  Dynamic succinct/compressed data structures
  ☆112Updated 8 months ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆46Updated 2 years ago
• eylonyogev / Where-s-That-Paper-
  A Chrome extension that automatically adds viewed academic papers to your favorites.
  ☆16Updated 6 years ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆195Updated this week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 3 months ago
• byronlai / lock-free-data-structures
  Lock-free (Non-blocking) Data Structures in Java
  ☆13Updated 9 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated last year
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆70Updated 7 months ago
• julianthome / inmemantlr
  ANTLR as a libray for JVM based languages
  ☆108Updated last year
• almondtools / stringsearchalgorithms
  String matching algorithms for searching a single or multiple strings in large texts
  ☆44Updated 7 months ago
• kit-algo / flow-cutter-pace17
  Submission to PACE 17
  ☆16Updated 2 weeks ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆65Updated last year
• michael-emmi / violat
  ☆10Updated 10 months ago
• ashkapsky / BigDatalog
  ☆57Updated 2 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• Gregable / pq-trees
  General implementation of the PQ Tree algorithm.
  ☆27Updated 13 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated last week
• csplib / csplib
  A benchmark library for constraints
  ☆86Updated 3 months ago
• pbailis / bolton-sigmod2013-code
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Updated 11 years ago
• jrbn / vlog
  VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
  ☆17Updated 6 years ago
• ftsrg / trainbenchmark
  The Train Benchmark framework for evaluating incremental model validation performance
  ☆12Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 2 months ago