A top-down/breadth-first decision diagram manipulation framework
☆61Aug 8, 2026Updated 3 weeks ago
Alternatives and similar repositories for TdZdd
Users that are interested in TdZdd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BDD Package - Sapporo Edition☆23Apr 27, 2026Updated 4 months ago
- frontier method☆24Sep 2, 2020Updated 6 years ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆15Jul 11, 2025Updated last year
- Ground-state solver for a generalized Ising model, based on MAXSAT and convex optimization, following the algorithm described in Huang et…☆15Oct 26, 2016Updated 9 years ago
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Dec 3, 2021Updated 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.
- TU DOrtmund lossless COMPression framework☆20Sep 7, 2024Updated last year
- Optimal cache stampede prevention☆16May 11, 2017Updated 9 years ago
- ☆12Apr 17, 2025Updated last year
- github.com/cznic/interval has moved to modernc.org/interval☆11Nov 22, 2018Updated 7 years ago
- えびちゃんのライブラリです。☆22May 25, 2026Updated 3 months ago
- ReBucket: group panic()s by similarity☆12Nov 1, 2019Updated 6 years ago
- ☆17Mar 12, 2019Updated 7 years ago
- Inference on marginal distributions using gradient-based optimization☆13Mar 27, 2017Updated 9 years ago
- ☆11Sep 8, 2022Updated 3 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.
- Common Lisp implementation of "deep-learning-from-scratch"☆28Nov 10, 2022Updated 3 years ago
- A Go library for space-efficient rank/select operations for both sparse and dense bit arrays.☆38Jul 24, 2020Updated 6 years ago
- ☆12Jan 31, 2026Updated 7 months ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆33Updated this week
- This is a Kaggle data mining contest, link: https://www.kaggle.com/c/avazu-ctr-prediction☆11Mar 12, 2015Updated 11 years ago
- ggtikz: Add TikZ annotations with absolute data or relative plot coordinates to ggplots☆11Nov 6, 2025Updated 9 months ago
- a rust implementation of Stan Math library.☆10Mar 10, 2018Updated 8 years ago
- ☆15Sep 15, 2017Updated 8 years ago
- exponential smoothing toolkit☆15Aug 23, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- IntelliJ IDEA plugin. This plug-in, can preview the contents of the template.☆11May 12, 2016Updated 10 years ago
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 6 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Aug 7, 2018Updated 8 years ago
- Go implementation of xoroshiro128+ RNG☆15Jun 25, 2021Updated 5 years ago
- Vendoring? Foolish human!☆40Dec 16, 2016Updated 9 years ago
- ☆12Feb 24, 2016Updated 10 years ago
- Text Alignment with Smith-Waterman☆10Nov 26, 2025Updated 9 months ago
- Python bindings for the `buildcell` program for Ab Initio Random Structure Searching (AIRSS)☆22Updated this week
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 6 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.
- Code for the Click-Through Rate Prediction Kaggle challenge from Avazu☆11Feb 5, 2017Updated 9 years ago
- Ansible role to set up PyCharm☆13Aug 21, 2026Updated last week
- Port of Google's Farmhash version 1.0.0 to, pure, Go☆17Sep 19, 2016Updated 9 years ago
- Dynamic succinct/compressed data structures☆120Dec 17, 2025Updated 8 months ago
- 「アルゴリズム実技検定 公式テキスト［上級］〜［エキスパート］編」の解答ソースコードと正誤情報☆17Apr 13, 2024Updated 2 years ago
- Morally-correct string and stream interpolation for Go.☆24Apr 23, 2016Updated 10 years ago
- An ANSI Common Lisp compiler using LLVM.☆12Sep 5, 2021Updated 4 years ago