Alternatives and similar repositories for LightBDD

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

• idsc-frazzoli / subare
  reinforcement learning algorithms from the book by Sutton and Barto
  ☆17Updated 4 years ago
• plum-umd / java-sketch
  a Java front-end for Sketch synthesis tool
  ☆20Updated last year
• 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
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated last month
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 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
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• jcuda / jcuda-matrix-utils
  Utility classes for dense and sparse matrices in JCuda
  ☆11Updated 6 years ago
• kensens / FrAngel
  A Java program synthesizer.
  ☆22Updated 6 years ago
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_Data
  Graphs and grammars for Context-Free Path Querying algorithms evaluation.
  ☆10Updated last year
• CognitiveComputingResearchGroup / lida-framework
  ☆10Updated 9 years ago
• timtadh / parsemis
  The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…
  ☆46Updated 5 years ago
• bigraphs / jlibbig
  A Java library for bigraphical reactive systems.
  ☆11Updated 2 years ago
• SparseLinearAlgebra / spbla
  Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
  ☆16Updated 3 years ago
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 6 years ago
• eth-sri / eth-sri.github.io
  SRI Group Website
  ☆10Updated last week
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 3 months ago
• Chronosymbolic / Chronosymbolic-Learning
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Updated last year
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆11Updated last year
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆16Updated 2 months ago
• jin-guo / COMP598_Fall2020
  ☆12Updated 4 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• jcuda / jcublas
  JCublas - Java bindings for CUBLAS
  ☆13Updated last year
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆24Updated 3 years ago
• wenxiwang / neuroback
  ☆13Updated last year
• cacfd3a / java-probabilistic-earley-parser
  🎲 Efficient Java implementation of the probabilistic Earley algorithm to parse Stochastic Context Free Grammars (SCFGs)
  ☆37Updated 2 months ago
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated this week
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago