Alternatives and similar repositories for SAPPOROBDD

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

• takenobu-hs / cpu-assembly-examples
  CPU assembly examples
  ☆86Updated last year
• TumoiYorozu / SimpleCppEditor
  ☆63Updated 3 years ago
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆60Updated 5 months ago
• lowlayergirls / wasabi-help
  Support page for saba and wasabi
  ☆27Updated 7 months ago
• doraneko94 / sevendayshpc.rs
  WIP: 一週間でなれる！スパコンプログラマ Rust版
  ☆38Updated 4 years ago
• ytakano / rust_zero
  ☆134Updated last year
• p1ass / mdtopdf
  🐳 Pandoc docker image for converting markdown to PDF using TeX typesetting
  ☆198Updated 5 years ago
• takameron / slack-dump
  Export History For Channel, Private Group and Direct Message From Slack
  ☆21Updated 3 years ago
• VLSI-JP / VLSI-JP.github.io
  ☆27Updated 2 months ago
• lemolatoon / toy-shakyo
  ☆15Updated 2 years ago
• shun-shobon / typst-oreilly-template
  オライリー風 Typst テンプレート
  ☆119Updated 3 months ago
• hakomo / Simulated-Annealing-Techniques
  焼きなまし法
  ☆114Updated 7 years ago
• colun / mmlang
  Competitive Programming Language MM
  ☆24Updated last year
• ShopOne / Shitforces
  くそなぞなぞコンテストサイト
  ☆27Updated 2 years ago
• korosuke613 / texlive-ja-devcontainer-template
  VS Code Remote Developmentの機能を用いて、LaTeX環境を容易に構築するサンプルコードです。
  ☆64Updated 6 years ago
• herumi / blog
  ☆39Updated this week
• devreplay / devreplay
  A linter that replays your developing style
  ☆47Updated 2 years ago
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆140Updated 10 months ago
• Alignof / Human_C_Compiler_Contest
  HCCC -Human C Compiler Contest-
  ☆51Updated 2 years ago
• shioyadan / advanced-computer-organization
  ☆182Updated 2 weeks ago
• niuez / Niu
  Language for libraries used in competition programming
  ☆43Updated 3 years ago
• ut-khanlab / master_thesis_template_for_typst
  Writing in typst, thesis template
  ☆52Updated last year
• tbistr / texlive-full-devcontainer
  texliveがフルインストールされたdevcontainer
  ☆23Updated last year
• HidenoriMatsubayashi / evisor
  Light-weight Bare Metal Hypervisor (Type 1) written in C++
  ☆64Updated last year
• Naotonosato / Clawn
  The Clawn Programming Language
  ☆147Updated 2 years ago
• virtualsecureplatform / MitouDocument
  未踏応募書類と成果報告書
  ☆48Updated last year
• noshi91 / algorithm-encyclopedia
  ☆78Updated 2 years ago
• kmiya / naist-thesis-tmpl
  NAIST情報科学研究科向けのやや現代的な修士論文用LaTeXテンプレート
  ☆40Updated 4 years ago
• monkukui / ac-library-go
  go によるアルゴリズムライブラリ
  ☆37Updated 4 years ago
• goatx / goat
  ☆74Updated this week