Alternatives and similar repositories for SAPPOROBDD

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

• colun / mmlang
  Competitive Programming Language MM
  ☆21Updated 7 months ago
• junkawahara / sbdd_helper
  One header library for SAPPOROBDD
  ☆8Updated last year
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 2 years ago
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆59Updated last year
• TumoiYorozu / SimpleCppEditor
  ☆60Updated 2 years ago
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆47Updated last month
• kirika-comp / articles
  ☆32Updated 6 years ago
• hakomo / Simulated-Annealing-Techniques
  焼きなまし法
  ☆110Updated 6 years ago
• icpc-jag / rime
  Rime: Automation Tool for Programming Contest Organizers
  ☆47Updated 8 months ago
• monkukui / ac-library-go
  go によるアルゴリズムライブラリ
  ☆34Updated 3 years ago
• niuez / Niu
  Language for libraries used in competition programming
  ☆40Updated 3 years ago
• penguin-judge / PenguinJudge
  ペンギンジャッジ、よちよちでも歩いていけよ
  ☆13Updated last year
• hamukazu / math_figures
  数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
  ☆23Updated last year
• ShopOne / Shitforces
  くそなぞなぞコンテストサイト
  ☆27Updated last year
• noshi91 / NoshiMochiLibrary
  ☆19Updated 6 years ago
• lemolatoon / toy-shakyo
  ☆14Updated last year
• adenohitu / hisui
  競技プログラミングサポートツール Support tool for Competitive programming (AtCoder GUI)
  ☆43Updated 6 months ago
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆138Updated 2 months ago
• tsutaj / statements-manager
  Converting problem statements for competitive programming located in (Google Docs | Local) into (HTML | PDF | Markdown).
  ☆18Updated 2 weeks ago
• takameron / slack-dump
  Export History For Channel, Private Group and Direct Message From Slack
  ☆21Updated 2 years ago
• asciidwango / parser_book
  アスキードワンゴで出版予定の構文解析本に関するリポジトリ
  ☆116Updated last week
• iilj / yukicoder-problems
  Problem manager for yukicoder users
  ☆17Updated 2 months ago
• rsk0315 / typeset-shortcut
  ☆24Updated 2 years ago
• windows-server-2003 / quick_floyd_warshall
  Optimized Floyd-Warshall algorithm implementation
  ☆28Updated 2 years ago
• terry-u16 / pahcer
  A tool to run tests for AtCoder Heuristic Contest (AHC)
  ☆75Updated last month
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆17Updated 3 months ago
• noshi91 / algorithm-encyclopedia
  ☆75Updated 2 years ago
• ytakano / rust_zero
  ☆125Updated 6 months ago
• sozysozbot / 2kmcc
  ☆28Updated 2 years ago
• kenkoooo / atcoder-tournament
  ☆18Updated 2 years ago