Alternatives and similar repositories for SAPPOROBDD

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

• White-Green / kirl-lang
  An experimental project for statically typed scripting language.
  ☆62Updated 3 years ago
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆60Updated last week
• VLSI-JP / VLSI-JP.github.io
  ☆25Updated 3 weeks ago
• sozysozbot / 2kmcc
  ☆29Updated 2 years ago
• takenobu-hs / cpu-assembly-examples
  CPU assembly examples
  ☆82Updated last year
• asciidwango / parser_book
  アスキードワンゴで出版予定の構文解析本に関するリポジトリ
  ☆122Updated 3 weeks ago
• herumi / blog
  ☆38Updated last week
• HidenoriMatsubayashi / evisor
  Light-weight Bare Metal Hypervisor (Type 1) written in C++
  ☆59Updated 10 months ago
• msyksphinz-self / support_ca_llvm_book
  ☆142Updated last year
• tanakamura / pllp
  ☆63Updated 2 years ago
• TumoiYorozu / SimpleCppEditor
  ☆62Updated 3 years ago
• p1ass / mdtopdf
  🐳 Pandoc docker image for converting markdown to PDF using TeX typesetting
  ☆199Updated 4 years ago
• ie-Yoshisaur / OxideDB
  ☆39Updated last year
• colun / mmlang
  Competitive Programming Language MM
  ☆24Updated 10 months ago
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆56Updated 3 years ago
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆139Updated 5 months ago
• nushio3 / learn-haskell
  ☆164Updated 9 years ago
• Naotonosato / Clawn
  The Clawn Programming Language
  ☆146Updated 2 years ago
• utam0k / container-demo
  ☆21Updated 10 months ago
• okumuralab / algo-c
  ☆114Updated 3 years ago
• herumi / misc
  ☆61Updated 3 weeks ago
• shioyadan / advanced-computer-organization
  ☆162Updated 11 months ago
• fukushimalab / hpc_exercise
  ネットワーク系演習II：ハイパフォーマンスコンピューティング
  ☆64Updated 7 months ago
• kadoshita / clash
  自作シェル
  ☆20Updated 6 years ago
• ytakano / rust_zero
  ☆127Updated 9 months ago
• junkawahara / sbdd_helper
  One header library for SAPPOROBDD
  ☆8Updated 2 months ago
• cysec-lab / y2k38-checker
  Clang Static Analyzer plugin which detects the Y2K38 bug in 64bit enviroment
  ☆45Updated 11 months ago
• lowlayergirls / wasabi-help
  Support page for saba and wasabi
  ☆26Updated 2 months ago
• penguin-judge / PenguinJudge
  ペンギンジャッジ、よちよちでも歩いていけよ
  ☆13Updated 2 years ago
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 2 years ago