Alternatives and similar repositories for Jdrasil:

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

• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆52Updated last year
• michael-emmi / violat
  ☆10Updated last year
• kit-algo / flow-cutter-pace17
  Submission to PACE 17
  ☆17Updated 3 months ago
• fclaude / libcds
  Compact Data Structures Library
  ☆124Updated 10 years ago
• Gregable / pq-trees
  General implementation of the PQ Tree algorithm.
  ☆29Updated 14 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• mwhittaker / linearizability
  Linearizability Visualizer
  ☆10Updated 10 years ago
• vigna / Sux4J
  Sux4J is an effort to bring succinct data structures to Java.
  ☆161Updated last year
• ftsrg / trainbenchmark
  The Train Benchmark framework for evaluating incremental model validation performance
  ☆12Updated 2 years ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆57Updated 2 years ago
• KevinStern / software-and-algorithms
  Neat algorithm implementations in Java.
  ☆117Updated 3 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆104Updated 7 years 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:
  ☆45Updated 2 years ago
• Breinify / brein-time-utilities
  Library which contains several time-dependent data and index structures (e.g., IntervalTree, BucketTimeSeries), as well as algorithms.
  ☆127Updated last month
• pbailis / bolton-sigmod2013-code
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Updated 11 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• carrotsearch / jsuffixarrays
  JSuffixArrays (Suffix Arrays in Java)
  ☆59Updated 8 years ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆141Updated 4 months ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated last month
• shamsimam / savina
  Savina is an Actor Benchmark Suite.
  ☆36Updated 4 years ago
• PANTHEONtech / triemap
  Java port of a concurrent trie hash map implementation from the Scala collections library
  ☆28Updated 2 months ago
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆31Updated this week
• uwplse / oddity
  A graphical, time-traveling debugger for distributed systems
  ☆31Updated 3 years ago
• byronlai / lock-free-data-structures
  Lock-free (Non-blocking) Data Structures in Java
  ☆13Updated 9 years ago
• robmccoll / graphdb-testing
  Benchmarking various graph databases, engines, datastructures, and data stores.
  ☆35Updated 11 years ago
• radsz / jacop
  Java Constraint Programming solver
  ☆224Updated last year
• mast-group / naturalize
  Source code for the Naturalize project
  ☆56Updated 9 years ago
• forax / vector-handle
  A high level API to express vectorized operations in Java
  ☆25Updated 4 years ago
• DistributedClocks / tsviz
  Tool to visualize executions of multi-threaded systems
  ☆13Updated 4 years ago
• krpors / gimlet
  A JDBC-based database drill down utility.
  ☆32Updated last year