BDD Package - Sapporo Edition
☆23Apr 27, 2026Updated 6 months ago
Alternatives and similar repositories for SAPPOROBDD
Users that are interested in SAPPOROBDD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A top-down/breadth-first decision diagram manipulation framework☆61Aug 8, 2026Updated 2 months ago
- ☆13Feb 28, 2022Updated 4 years ago
- ☆11Dec 11, 2025Updated 10 months ago
- Maximum clique computation over large sparse graphs☆24Mar 19, 2022Updated 4 years ago
- The Missing Semester of Your CS Education (日本語版) 📚☆46Jul 31, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Jan 17, 2022Updated 4 years ago
- Prediction of Treewidth using Graph Neural Network, developed as part of PFN summer internship 2019.☆11Oct 10, 2019Updated 7 years ago
- C++ Library for Competitive Programming☆13Sep 21, 2026Updated last month
- ☆16Jun 24, 2024Updated 2 years ago
- sotanishy's code snippets for competitive programming in C++☆18Feb 21, 2025Updated last year
- SL(1): Cure your bad habit of mistyping☆25May 18, 2021Updated 5 years ago
- A collection of 280+ Boolean networks from various sources useful for benchmarking or testing.☆24May 29, 2026Updated 5 months ago
- A Web Extention; Enhance manaba+R☆27Sep 5, 2022Updated 4 years ago
- ☆19May 16, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Chrome extension to make your manaba a little bit more comfortable.☆41Jan 16, 2025Updated last year
- Competitive Programming Language MM☆25Sep 21, 2024Updated 2 years ago
- ☆28Jul 29, 2026Updated 3 months ago
- Kindle in Docker☆17Dec 31, 2019Updated 6 years ago
- Constraint Solver ACE☆41Oct 8, 2026Updated 3 weeks ago
- Fluent API generator☆42Jan 23, 2026Updated 9 months ago
- Twitter がやたらおすすめしてくるメディアを非表示にするChrome拡張機能。☆17Oct 11, 2024Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆42Oct 26, 2026Updated last week
- CUDD Decision Diagram Package☆171Dec 12, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The gluon-lang.org website.☆15Updated this week
- A simple integer compression library for C/C++/Java☆14Feb 25, 2013Updated 13 years ago
- Vagrant、Dockerローカル開発環境構築ハンズオン☆14Nov 1, 2020Updated 6 years ago
- ☆28Jan 28, 2023Updated 3 years ago
- ☆30Jun 10, 2018Updated 8 years ago
- qcc is a small toy C compiler☆43Apr 10, 2017Updated 9 years ago
- 動画内のスライドをぶっこぬいて画像としてまとめてくれます☆25May 13, 2020Updated 6 years ago
- Flow is a software framework focused on ease of use while maximizing performance in closed closed loop systems (e.g. robots). Flow is bu…☆10Oct 2, 2022Updated 4 years ago
- Provides a cross platform way to shut down, reboot or log out operations☆13Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Aug 11, 2026Updated 2 months ago
- Multi-core suitable Forth-like language☆37Mar 4, 2026Updated 7 months ago
- Terminal Crypto and US Stock Viewer☆10Apr 8, 2021Updated 5 years ago
- A small compiled and statically typed Lisp☆11Dec 22, 2019Updated 6 years ago
- Pure-Nim terminal charts with lines, bars, scatter plots, sparklines, surfaces, contours, responsive multiplots, and live dashboards.☆12Oct 22, 2026Updated last week
- Streaming Message Interface: High-Performance Distributed Memory Programming on Reconfigurable Hardware☆15Mar 1, 2022Updated 4 years ago
- ☆13Jul 24, 2026Updated 3 months ago