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
  ☆24Updated 11 months ago
• doraneko94 / sevendayshpc.rs
  WIP: 一週間でなれる！スパコンプログラマ Rust版
  ☆38Updated 4 years ago
• TumoiYorozu / SimpleCppEditor
  ☆62Updated 3 years ago
• White-Green / kirl-lang
  An experimental project for statically typed scripting language.
  ☆62Updated 3 years ago
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 2 years ago
• niuez / Niu
  Language for libraries used in competition programming
  ☆40Updated 3 years ago
• herumi / blog
  ☆38Updated 2 weeks ago
• asciidwango / parser_book
  アスキードワンゴで出版予定の構文解析本に関するリポジトリ
  ☆125Updated last month
• devreplay / devreplay
  A linter that replays your developing style
  ☆46Updated last year
• takenobu-hs / cpu-assembly-examples
  CPU assembly examples
  ☆83Updated last year
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆56Updated 3 years ago
• hakomo / Simulated-Annealing-Techniques
  焼きなまし法
  ☆111Updated 6 years ago
• sozysozbot / 2kmcc
  ☆29Updated 2 years ago
• ie-Yoshisaur / OxideDB
  ☆39Updated last year
• ytakano / rust_zero
  ☆128Updated 10 months ago
• HidenoriMatsubayashi / evisor
  Light-weight Bare Metal Hypervisor (Type 1) written in C++
  ☆61Updated 11 months ago
• Naotonosato / Clawn
  The Clawn Programming Language
  ☆146Updated 2 years ago
• VLSI-JP / VLSI-JP.github.io
  ☆26Updated this week
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆54Updated 5 months ago
• p1ass / mdtopdf
  🐳 Pandoc docker image for converting markdown to PDF using TeX typesetting
  ☆199Updated 4 years ago
• tanakh / tgbr
  ☆99Updated 3 years ago
• Nyanyan / OthelloAI_Textbook
  記事集「オセロAIの教科書」のサンプルプログラム
  ☆24Updated 7 months ago
• tbistr / texlive-full-devcontainer
  texliveがフルインストールされたdevcontainer
  ☆22Updated last year
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆140Updated 6 months ago
• ocw-central / ocw-central-frontend
  Frontend implementation of ocwcentral.com
  ☆21Updated 2 years ago
• ShopOne / Shitforces
  くそなぞなぞコンテストサイト
  ☆27Updated 2 years ago
• herumi / misc
  ☆61Updated 2 weeks ago
• shioyadan / advanced-computer-organization
  ☆162Updated last year
• tanakamura / pllp
  ☆63Updated 2 years ago
• shun-shobon / typst-oreilly-template
  オライリー風 Typst テンプレート
  ☆116Updated 6 months ago