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
  ☆82Updated last year
• TumoiYorozu / SimpleCppEditor
  ☆61Updated 3 years ago
• shioyadan / advanced-computer-organization
  ☆161Updated 10 months ago
• p1ass / mdtopdf
  🐳 Pandoc docker image for converting markdown to PDF using TeX typesetting
  ☆199Updated 4 years ago
• HidenoriMatsubayashi / evisor
  Light-weight Bare Metal Hypervisor (Type 1) written in C++
  ☆59Updated 9 months ago
• White-Green / kirl-lang
  An experimental project for statically typed scripting language.
  ☆62Updated 3 years ago
• colun / mmlang
  Competitive Programming Language MM
  ☆24Updated 10 months ago
• tanakamura / pllp
  ☆63Updated 2 years ago
• sozysozbot / 2kmcc
  ☆28Updated 2 years ago
• msyksphinz-self / support_ca_llvm_book
  ☆142Updated 11 months ago
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆139Updated 4 months ago
• cysec-lab / y2k38-checker
  Clang Static Analyzer plugin which detects the Y2K38 bug in 64bit enviroment
  ☆44Updated 10 months ago
• ie-Yoshisaur / OxideDB
  ☆39Updated last year
• Alignof / Human_C_Compiler_Contest
  HCCC -Human C Compiler Contest-
  ☆49Updated last year
• VLSI-JP / VLSI-JP.github.io
  ☆24Updated last month
• fujita / rust-tls
  ☆27Updated 2 years ago
• recuraki / cphb-ja
  (JA)Competitive Programmer's Handbook
  ☆158Updated last year
• ytakano / rust_zero
  ☆127Updated 8 months ago
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆48Updated 3 months ago
• EzoeRyou / posix-commands
  POSIXコマンドについてのコラム
  ☆166Updated 3 years ago
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 2 years ago
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆56Updated 2 years ago
• Naotonosato / Clawn
  The Clawn Programming Language
  ☆145Updated 2 years ago
• herumi / blog
  ☆38Updated this week
• shun-shobon / typst-oreilly-template
  オライリー風 Typst テンプレート
  ☆114Updated 4 months ago
• lemolatoon / toy-shakyo
  ☆14Updated last year
• cppmap / cppmap.docs
  🗺️ Source code of "C++ の歩き方": C++20/23/26 resources written in Japanese.
  ☆180Updated 2 weeks ago
• plusone-masaki / csv-plus
  A completely new CSV editor that gives you a great experience with simple operations.
  ☆273Updated last month
• tbistr / texlive-full-devcontainer
  texliveがフルインストールされたdevcontainer
  ☆22Updated last year
• UTokyo-ICEPP / qc-workbook
  Quantum computing workbook by ICEPP
  ☆70Updated last week