Alternatives and similar repositories for SAPPOROBDD

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

• junkawahara / sbdd_helper
  One header library for SAPPOROBDD
  ☆8Updated last month
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆59Updated last year
• TumoiYorozu / SimpleCppEditor
  ☆61Updated 3 years ago
• White-Green / kirl-lang
  An experimental project for statically typed scripting language.
  ☆62Updated 3 years ago
• ShopOne / Shitforces
  くそなぞなぞコンテストサイト
  ☆27Updated 2 years ago
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 2 years ago
• colun / mmlang
  Competitive Programming Language MM
  ☆24Updated 9 months ago
• asciidwango / parser_book
  アスキードワンゴで出版予定の構文解析本に関するリポジトリ
  ☆120Updated last week
• hamukazu / math_figures
  数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
  ☆24Updated last year
• VLSI-JP / VLSI-JP.github.io
  ☆24Updated last week
• niuez / Niu
  Language for libraries used in competition programming
  ☆40Updated 3 years ago
• ygkn / onakasuita.city
  おなか吹田市
  ☆20Updated last year
• hakomo / Simulated-Annealing-Techniques
  焼きなまし法
  ☆111Updated 6 years ago
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆47Updated 2 months ago
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆138Updated 4 months ago
• terry-u16 / pahcer
  A tool to run tests for AtCoder Heuristic Contest (AHC)
  ☆84Updated 2 months ago
• ytakano / rust_zero
  ☆126Updated 8 months ago
• icpc-jag / rime
  Rime: Automation Tool for Programming Contest Organizers
  ☆49Updated last week
• magurofly / atcoder-easy-test
  Easily test your codes on every problem pages
  ☆28Updated this week
• HidenoriMatsubayashi / evisor
  Light-weight Bare Metal Hypervisor (Type 1) written in C++
  ☆59Updated 9 months ago
• oss-gate / first-feedback-guidebook
  OSS Gateワークショップ参加者の方からよく寄せられる疑問への回答を元にした、初めてのフィードバックの手引き
  ☆91Updated last year
• monkukui / ac-library-go
  go によるアルゴリズムライブラリ
  ☆34Updated 3 years ago
• monaqa / slydifi
  Create a slide with SATySFi!
  ☆55Updated 2 years ago
• adenohitu / hisui
  競技プログラミングサポートツール Support tool for Competitive programming (AtCoder GUI)
  ☆43Updated 7 months ago
• loliGothicK / Cranberries
  ☆28Updated 3 years ago
• shun-shobon / typst-oreilly-template
  オライリー風 Typst テンプレート
  ☆113Updated 4 months ago
• TumoiYorozu / single-file-ac-library
  ACL(ac-library) merged into a single file. https://atcoder.jp/posts/517
  ☆42Updated 4 years ago
• windows-server-2003 / quick_floyd_warshall
  Optimized Floyd-Warshall algorithm implementation
  ☆28Updated 2 years ago
• korosuke613 / texlive-ja-devcontainer-template
  VS Code Remote Developmentの機能を用いて、LaTeX環境を容易に構築するサンプルコードです。
  ☆64Updated 5 years ago
• penguin-judge / PenguinJudge
  ペンギンジャッジ、よちよちでも歩いていけよ
  ☆13Updated last year