Alternatives and similar repositories for minbool

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

• zslwyuan / LLVM-9.0-Learner-Tutorial
  A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…
  ☆105Updated 3 years ago
• staticafi / llvm2c
  Decompiler of LLVM bitcode to C
  ☆89Updated 2 months ago
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆34Updated 4 years ago
• gatelabdavis / RANE
  ☆23Updated 2 years ago
• herumi / xbyak_riscv
  ☆50Updated last month
• kc-ml2 / llvm-flow
  An open-source interactive visualization tool for comparing IR CFGs
  ☆91Updated 6 months ago
• AmeerAbdelhadi / Multi-Sink-Lee-Moore-Shortest-Path-Maze-Router
  This is an implemention of Lee-Moore's Shortest Path Maze Router with multi-sink nets support.
  ☆13Updated 10 years ago
• compor / llvm-ir-cmake-utils
  LLVM IR CMake utils for bitcode file manipulation by opt and friends
  ☆74Updated last year
• shaowei-cai-group / X-SAT
  An advanced circuit-based sat solver
  ☆36Updated 11 months ago
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆120Updated 4 years ago
• lsils / kitty
  C++ truth table library
  ☆64Updated 6 months ago
• frasercrmck / llvm-leg
  ☆111Updated 4 years ago
• tum-ei-eda / seal5
  Seal5 - Semi-automated LLVM Support for RISC-V Extensions including Autovectorization
  ☆25Updated 2 weeks ago
• binary-translation / risotto-artifact-asplos23
  ☆20Updated 3 years ago
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆21Updated last year
• intel / pinplay-tools
  A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…
  ☆51Updated 6 months ago
• meton-robean / CFG_DFG_generator
  generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG
  ☆42Updated 6 years ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆141Updated 5 years ago
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated 2 years ago
• SPbSAT / cirbo
  Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis
  ☆32Updated 2 weeks ago
• travisdowns / robsize
  ROB size testing utility
  ☆159Updated 4 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆285Updated last year
• not-chciken / TLMBoy
  A Game Boy emulator written in C++/SystemC TLM-2.0
  ☆32Updated 5 months ago
• Gigantua / Espresso
  Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
  ☆63Updated last year
• name99-org / AArch64-Explore
  ☆312Updated 4 months ago
• vaivaswatha / debugir
  DebugIR: Debugging LLVM-IR Files
  ☆145Updated last year
• hlslibs / ac_types
  Algorithmic C Datatypes
  ☆133Updated last month
• lsils / mockturtle
  C++ logic network library
  ☆275Updated 4 months ago
• Gy-Hu / E-Syn2
  E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)
  ☆27Updated 7 months ago
• intel / systemc-compiler
  This tool translates synthesizable SystemC code to synthesizable SystemVerilog.
  ☆300Updated 2 weeks ago