A top-down/breadth-first decision diagram manipulation framework
☆61Aug 8, 2026Updated this week
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 3 months 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
- TU DOrtmund lossless COMPression framework☆20Sep 7, 2024Updated last year
- Optimal cache stampede prevention☆16May 11, 2017Updated 9 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Nov 22, 2018Updated 7 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.
- 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
- Common Lisp implementation of "deep-learning-from-scratch"☆28Nov 10, 2022Updated 3 years ago
- C++ library for creating and manipulating decision diagrams.☆14Apr 20, 2026Updated 3 months ago
- Solver of "Ikerukana" (Momotaro Dentetsu)☆12Dec 18, 2020Updated 5 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 6 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 rust implementation of Stan Math library.☆10Mar 10, 2018Updated 8 years ago
- ☆15Sep 15, 2017Updated 8 years ago
- exponential smoothing toolkit☆15Jul 8, 2016Updated 10 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 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
- Fast, sparse bitsets☆21Apr 5, 2021Updated 5 years ago
- Vendoring? Foolish human!☆40Dec 16, 2016Updated 9 years ago
- gMCP - Graph Based Multiple Comparison Procedures (an R package with a Java GUI)☆12Mar 23, 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.
- Text Alignment with Smith-Waterman☆10Nov 26, 2025Updated 8 months ago
- A forwarder program implemented in xdp that sits behind a load balancer.☆14Sep 2, 2020Updated 5 years ago
- A numerical integration routine that works for the natural logarithm of functions☆12Sep 4, 2024Updated last year
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 6 years ago
- Port of Google's Farmhash version 1.0.0 to, pure, Go☆17Sep 19, 2016Updated 9 years ago
- 「アルゴリズム実技検定 公式テキスト［上級］〜［エキスパート］編」の解答ソースコー ドと正誤情報☆17Apr 13, 2024Updated 2 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 7 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Super-efficient, in-memory key/value data store☆21Jul 28, 2017Updated 9 years ago
- Common Lisp binding for OpenCL API☆10Aug 15, 2018Updated 7 years ago
- A Linux /dev/input driver for CL☆10Dec 28, 2024Updated last year
- ☆13May 6, 2017Updated 9 years ago
- clip.exe alternative for UTF-8 strings.☆31Apr 6, 2023Updated 3 years ago
- Read and write Numpy .npy and .npz files.☆19Sep 19, 2023Updated 2 years ago
- Decompose source code into templates and fragments for any language.☆23Aug 29, 2022Updated 3 years ago