Alternatives and similar repositories for minbool:

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

• msoeken / kitty
  C++ truth table library
  ☆51Updated 9 months ago
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆112Updated 3 years ago
• gatelabdavis / RANE
  ☆22Updated last year
• staticafi / llvm2c
  Decompiler of LLVM bitcode to C
  ☆83Updated 10 months ago
• HEAPLab / TAFFO
  Tuning Assistant for Floating point to Fixed point Optimization
  ☆19Updated 2 years 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.
  ☆11Updated 8 years ago
• hriener / lorina
  C++ parsing library for simple formats used in logic synthesis and formal verification
  ☆35Updated 6 months ago
• ArchC / ArchC
  A powerful and modern open-source architecture description language.
  ☆41Updated 7 years ago
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆29Updated last year
• sabbaghm / c-ll-verilog
  An LLVM based mini-C to Verilog High-level Synthesis tool
  ☆35Updated last year
• 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…
  ☆101Updated 2 years ago
• leonardt / verilogAST-cpp
  C++17 implementation of an AST for Verilog code generation
  ☆24Updated last year
• agra-uni-bremen / symex-vp
  A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
  ☆21Updated last year
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 3 years ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆18Updated 4 months ago
• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 4 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆114Updated 5 years ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆51Updated this week
• herumi / xbyak_riscv
  ☆39Updated last month
• lsils / mockturtle
  C++ logic network library
  ☆220Updated 3 months ago
• markusa4 / dejavu
  fast probabilistic symmetry detection on graphs
  ☆14Updated last week
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• madhur13490 / LLVM-Metadata-Visualizer
  LLVM Metadata Visualizer
  ☆22Updated 7 years ago
• FeddrickAquino / sse2rvv
  ☆19Updated last year
• aengelke / raspsim
  Cycle-accurate X86-64 simulator based on PTLsim
  ☆29Updated last year
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated last year
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆119Updated 3 weeks ago
• whaaswijk / percy
  An advanced header-only exact synthesis library
  ☆24Updated 2 years ago
• ben-marshall / verilog-parser
  A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.
  ☆128Updated 5 years ago
• EPFL-LAP / dynamatic
  DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
  ☆80Updated this week