Alternatives and similar repositories for TdZdd

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

• Shin-ichi-Minato / SAPPOROBDD
  BDD Package - Sapporo Edition
  ☆22Updated 2 years ago
• takemaru / graphillion
  Fast, lightweight graphset operation library
  ☆483Updated 7 months ago
• iwiwi / radix-heap
  An implementation of radix heap
  ☆64Updated 10 years ago
• junkawahara / frontier
  frontier method
  ☆22Updated 5 years ago
• tanakamura / instruction-bench
  instruction-bench
  ☆35Updated 2 years ago
• t-hishinuma / DD-AVX_v3
  Library of High Precision Sparse Matrix Operations Accelerated by SIMD
  ☆43Updated 4 years ago
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆68Updated 6 years ago
• massivethreads / massivethreads
  Light weight thread library
  ☆67Updated last year
• ricosjp / monolish
  monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture
  ☆201Updated 6 months ago
• mskashi / kv
  kv - a C++ Library for Verified Numerical Computation
  ☆93Updated 8 months ago
• herumi / misc
  ☆62Updated 3 months ago
• herumi / s_xbyak
  ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python
  ☆12Updated last month
• RIKEN-RCCS / riken_simulator
  This is the git repository for RIKEN simulator designed to simulate the binary code for Fujitsu A64FX.
  ☆36Updated 5 years ago
• ocxtal / opa64
  Armv8 A64 Assembly & Intrinsics Guide Server
  ☆27Updated 2 years ago
• fujitsu / dnnl_aarch64
  ☆54Updated 5 years ago
• fukushimalab / hpc_exercise
  ネットワーク系演習II：ハイパフォーマンスコンピューティング
  ☆64Updated 11 months ago
• okdshin / flatline_lsp
  Github Copilot-like LSP code completion server with local LLM powered by llama.cpp
  ☆21Updated last year
• nakatamaho / dgemm_tutorial
  A gemm_tutorial
  ☆38Updated 6 months ago
• takenobu-hs / cpu-assembly-examples
  CPU assembly examples
  ☆84Updated last year
• yahoojapan / fullock
  Fast User Level LOCK library
  ☆27Updated 2 months ago
• lpha-z / ltmpc
  C++11TMP compile time C compiler
  ☆27Updated 7 years ago
• cppmap / cppmap.docs
  🗺️ Source code of "C++ の歩き方": C++20/23/26 resources written in Japanese.
  ☆180Updated last month
• nushio3 / formura
  Describe stencil formurae without even translating them
  ☆58Updated 8 years ago
• PMOB / study-tex
  TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX
  ☆26Updated 7 years ago
• herumi / cybozulib
  a tiny library for C++
  ☆65Updated 2 months ago
• herumi / x86opti
  ☆38Updated 5 years ago
• onihusube / harmony
  C++ Monadologie
  ☆27Updated 4 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆35Updated 4 months ago
• loliGothicK / Cranberries
  ☆28Updated 3 years ago
• kopricky / My-Algorithm
  ☆29Updated 2 years ago