A simple yet decent Binary Decision Diagram package
☆28Jan 16, 2018Updated 8 years ago
Alternatives and similar repositories for RicBDD
Users that are interested in RicBDD 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 C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits☆198Updated this week
- Multimedia SoC Design with Specialization on Application Acceleration with High-Level-Synthesis [2020 Fall]☆12Jun 15, 2021Updated 5 years ago
- DSnP Open Source Repository☆177Jul 22, 2025Updated last year
- C++ Implementation of reduced order binary decision diagram data structure☆13Nov 11, 2015Updated 10 years ago
- 以 Bottender 實作的卡米狗範例☆18Feb 8, 2018Updated 8 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.
- Normalize text string☆12Nov 6, 2018Updated 7 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- ☆12Jul 2, 2026Updated 3 months ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆11Aug 21, 2019Updated 7 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- 🤖 An automated NTU Thesis LaTeX continuous integration and continuous deploying service built up with GitHub Actions.☆10May 8, 2020Updated 6 years ago
- Super Flutter Maker is an online community where people train their knowledge about the Flutter Widgets, by solving puzzles using the wid…☆13Feb 1, 2020Updated 6 years ago
- NTU Summer Course: Intro to Quantum Computing (PLEASE READ README!)☆14Aug 19, 2019Updated 7 years ago
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.☆10Oct 21, 2020Updated 5 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.
- ☆15Dec 15, 2021Updated 4 years ago
- Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P☆15May 16, 2017Updated 9 years ago
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆13Dec 28, 2024Updated last year
- clinglite: REPL in C++. A lightweight C++ wrapper on top of Cling (the interactive C++ interpreter from CERN)☆17Mar 26, 2026Updated 6 months ago
- Kieler Analyzer for Executables and Libraries - an interactive disassembler☆11May 24, 2018Updated 8 years ago
- Simulated Annealing for MAX-CUT problems on {+1,-1}-weighted complete graphs☆12Feb 2, 2019Updated 7 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- 🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph☆103Jan 22, 2018Updated 8 years ago
- MentPy is an open-source software for simulations of measurement-based quantum computing circuits and quantum machine learning.☆23Oct 23, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Mar 17, 2020Updated 6 years ago
- Code repository for the QuIC Seminar at Michigan State University.☆15Dec 4, 2019Updated 6 years ago
- Multi-GPU CUDA based scheduler.☆13Jul 20, 2017Updated 9 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- Solovay Kitaev algorithm☆12Aug 14, 2019Updated 7 years ago
- ☆17Jan 24, 2020Updated 6 years ago
- ☆21May 11, 2025Updated last year
- ABI compatible replacement for https://github.com/holepunchto/libjs built on QuickJS☆22Sep 30, 2026Updated last week
- Playground for testing feedback☆16Aug 12, 2020Updated 6 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.
- Successor to PolyBoRi☆24Sep 1, 2026Updated last month
- ☆15Jan 12, 2021Updated 5 years ago
- Tools used by Dart's continuous integration (CI) testing. Mirrored to dart.googlesource.com/dart_ci.☆22Sep 7, 2026Updated last month
- A local provider which allows Qiskit to use a decision-diagrams quantum simulator from JKU☆18Jun 21, 2021Updated 5 years ago
- Z-layout bit-sliced index for evaluating point and range queries over unsorted numerical data☆27Sep 29, 2026Updated last week
- Downstream developer fork of Valgrind☆24Nov 9, 2020Updated 5 years ago
- Standalone API for Binary Ninja's LLIL☆20Aug 6, 2024Updated 2 years ago