BDD Package - Sapporo Edition
☆23Apr 27, 2026Updated 5 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
- The Missing Semester of Your CS Education (日本語版) 📚☆46Jul 31, 2022Updated 4 years ago
- ☆12Jan 17, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Inference on marginal distributions using gradient-based optimization☆13Mar 27, 2017Updated 9 years ago
- sotanishy's code snippets for competitive programming in C++☆18Feb 21, 2025Updated last year
- ggtikz: Add TikZ annotations with absolute data or relative plot coordinates to ggplots☆11Nov 6, 2025Updated 11 months ago
- a rust implementation of Stan Math library.☆10Mar 10, 2018Updated 8 years ago
- C++ Library for Competitive Programming☆13Sep 21, 2026Updated 3 weeks ago
- SL(1): Cure your bad habit of mistyping☆25May 18, 2021Updated 5 years ago
- Text Alignment with Smith-Waterman☆10Nov 26, 2025Updated 10 months ago
- A numerical integration routine that works for the natural logarithm of functions☆12Sep 4, 2024Updated 2 years ago
- ☆19May 25, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A collection of 280+ Boolean networks from various sources useful for benchmarking or testing.☆24May 29, 2026Updated 4 months ago
- ☆13May 6, 2017Updated 9 years ago
- clip.exe alternative for UTF-8 strings.☆32Apr 6, 2023Updated 3 years ago
- A Web Extention; Enhance manaba+R☆27Sep 5, 2022Updated 4 years ago
- Bayesian inference for Ruby, powered by CmdStan☆25Sep 16, 2026Updated 3 weeks ago
- ☆17Dec 24, 2021Updated 4 years ago
- ☆19May 16, 2021Updated 5 years ago
- 農研機構統計研修「ベイズ統計モデリングとMCMC」☆17Oct 23, 2024Updated last year
- Competitive Programming Language MM☆25Sep 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Coding exercise solutions for the book: Reinforcement Learning (2nd edition)☆17Feb 28, 2020Updated 6 years ago
- A Rust hashconsing library.☆39Updated this week
- Kindle in Docker☆17Dec 31, 2019Updated 6 years ago
- Chrome extension to make your manaba a little bit more comfortable.☆41Jan 16, 2025Updated last year
- Supporting materials for Nishiura et al "Serial interval of novel coronavirus (COVID-19) infections" International journal of infectious …☆15Jun 2, 2020Updated 6 years ago
- Fluent API generator☆42Jan 23, 2026Updated 8 months ago
- An R package providing a unified interface to several dose-finding trial methodologies☆17Oct 8, 2025Updated last year
- {gslnls}: GSL multi-start nonlinear least-squares fitting in R☆17Sep 28, 2025Updated last year
- The R Package BayesLogit☆18Jun 5, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Terminal Crypto and US Stock Viewer☆10Apr 8, 2021Updated 5 years ago
- The manuscript for The SATySFibook (1st edition for the Web)☆36Aug 27, 2024Updated 2 years ago
- Codeforces Problems is a web application to manage your Codeforces Problems.☆17Updated this week
- シェル芸botをWebで使えるようにしたNim製Webアプリ☆71Jan 20, 2024Updated 2 years ago
- 動画内のスライドをぶっこぬいて画像としてまとめてくれます☆25May 13, 2020Updated 6 years ago
- qcc is a small toy C compiler☆43Apr 10, 2017Updated 9 years ago
- Verifier for libraries of competitive programming☆47Oct 5, 2026Updated last week