Alternatives and similar repositories for LightBDD

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

• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year
• idsc-frazzoli / subare
  reinforcement learning algorithms from the book by Sutton and Barto
  ☆16Updated 4 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:
  ☆50Updated 3 years ago
• plum-umd / java-sketch
  a Java front-end for Sketch synthesis tool
  ☆20Updated 8 months ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 4 years ago
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 5 years ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated 2 weeks ago
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆15Updated last week
• bigraphs / jlibbig
  A Java library for bigraphical reactive systems.
  ☆11Updated 2 years ago
• jcuda / jcuda-matrix-utils
  Utility classes for dense and sparse matrices in JCuda
  ☆11Updated 6 years ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 4 years ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• jcuda / jcublas
  JCublas - Java bindings for CUBLAS
  ☆13Updated 10 months ago
• timtadh / parsemis
  The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…
  ☆45Updated 5 years ago
• CognitiveComputingResearchGroup / lida-framework
  ☆10Updated 9 years ago
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• astojanov / NGen
  SIMD Intrinsics in the JVM
  ☆48Updated 7 years ago
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆10Updated last year
• Cojac / Cojac
  Numerical sniffing tool and Enriching number wrapper for Java
  ☆24Updated 10 months ago
• idsc-frazzoli / tensor
  linear algebra for tensors with symbolic and numeric scalars
  ☆32Updated 5 years ago
• prova / prova
  ☆36Updated last year
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated 3 weeks ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated last year
• eth-sri / eth-sri.github.io
  SRI Group Website
  ☆10Updated this week
• wenxiwang / neuroback
  ☆11Updated 9 months ago
• aic-sri-international / aic-praise
  SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)
  ☆12Updated 4 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated last week
• malyzajko / rosa
  Rosa, the real compiler
  ☆20Updated 7 years ago
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago