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
  ☆84Updated last year
• herumi / blog
  ☆39Updated 2 months ago
• White-Green / kirl-lang
  An experimental project for statically typed scripting language.
  ☆63Updated 4 years ago
• lapisla-prover / lapisla-prover
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆53Updated 8 months ago
• sozysozbot / 2kmcc
  ☆30Updated 2 years ago
• TumoiYorozu / SimpleCppEditor
  ☆62Updated 3 years ago
• Naotonosato / Clawn
  The Clawn Programming Language
  ☆147Updated 2 years ago
• doraneko94 / sevendayshpc.rs
  WIP: 一週間でなれる！スパコンプログラマ Rust版
  ☆38Updated 4 years ago
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆60Updated 4 months ago
• niuez / Niu
  Language for libraries used in competition programming
  ☆42Updated 3 years ago
• ytakano / rust_zero
  ☆133Updated last year
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆140Updated 9 months ago
• colun / mmlang
  Competitive Programming Language MM
  ☆24Updated last year
• kahei / parser_book
  アスキードワンゴで出版予定の構文解析本に関するリポジトリ
  ☆125Updated last week
• yamachig / Lawtext
  Plain text format for Japanese law
  ☆90Updated 9 months ago
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 3 years ago
• HidenoriMatsubayashi / evisor
  Light-weight Bare Metal Hypervisor (Type 1) written in C++
  ☆63Updated last year
• shun-shobon / typst-oreilly-template
  オライリー風 Typst テンプレート
  ☆119Updated 2 months ago
• Alignof / Human_C_Compiler_Contest
  HCCC -Human C Compiler Contest-
  ☆51Updated 2 years ago
• Nyanyan / OthelloAI_Textbook
  記事集「オセロAIの教科書」のサンプルプログラム
  ☆28Updated 10 months ago
• h2o / leaktrace
  experimental LD_PRELOAD library for tracking memory leaks
  ☆37Updated 2 years ago
• herumi / misc
  ☆62Updated 3 months ago
• hakomo / Simulated-Annealing-Techniques
  焼きなまし法
  ☆112Updated 7 years ago
• cysec-lab / y2k38-checker
  Clang Static Analyzer plugin which detects the Y2K38 bug in 64bit enviroment
  ☆47Updated last year
• devreplay / devreplay
  A linter that replays your developing style
  ☆47Updated 2 years ago
• ShopOne / Shitforces
  くそなぞなぞコンテストサイト
  ☆27Updated 2 years ago
• shioyadan / advanced-computer-organization
  ☆181Updated last year
• virtualsecureplatform / MitouDocument
  未踏応募書類と成果報告書
  ☆48Updated last year
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆57Updated 3 years ago
• VLSI-JP / VLSI-JP.github.io
  ☆27Updated last month