Alternatives and similar repositories for bddbddb

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

• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 3 weeks ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆174Updated this week
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆11Updated 6 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆28Updated 5 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆38Updated last year
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆24Updated 9 years ago
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆17Updated 3 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 9 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆29Updated 8 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆56Updated 2 weeks ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated this week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆107Updated 3 years ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆174Updated 2 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆80Updated last week
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 4 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 7 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 3 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• au-ts / cogent
  Cogent Project
  ☆173Updated 10 months ago
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆25Updated last year
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆94Updated 4 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆57Updated 3 years ago
• tlaplus / PlusCalCheatSheet
  PlusCal Cheat Sheet by Stephan Merz
  ☆25Updated last year
• harp-lab / gdlog
  ☆87Updated last year
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated last year