Alternatives and similar repositories for bddbddb:

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

• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated last month
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated this week
• graydon / exhaustigen
  ☆11Updated 3 years ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 8 years ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• maurer / holmes
  Datalog engine with extensions for integrating analyses
  ☆38Updated 7 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆39Updated 9 months ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 5 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 9 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• rewriting / tom
  ☆34Updated 4 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆31Updated 8 months ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 3 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆157Updated this week
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆57Updated 12 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago