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☆196Apr 7, 2026Updated last week
- (Find My Tab) A Chrome Extension that fights with too many tabs.☆10Aug 15, 2025Updated 8 months ago
- Multimedia SoC Design with Specialization on Application Acceleration with High-Level-Synthesis [2020 Fall]☆12Jun 15, 2021Updated 4 years ago
- PHP Extension for file operations☆10Dec 7, 2015Updated 10 years ago
- Some customized keras layers used in Yoctol NLU.☆19Jun 26, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- C++ Implementation of reduced order binary decision diagram data structure☆13Nov 11, 2015Updated 10 years ago
- An utility library for Bottender and higher-order handlers☆57Jul 1, 2021Updated 4 years ago
- Implementation of PCA algorithm using Gram-Scmidt modification on NIPALS☆10Jun 13, 2015Updated 10 years ago
- BOT to speed up Facebook animated stickers. BOOOOSTTTTT☆13Nov 5, 2017Updated 8 years ago
- ☆23Nov 29, 2025Updated 4 months ago
- Big5-UAO table in pure Python.☆11Feb 22, 2021Updated 5 years ago
- 💻 A modern CLI to get your favorite news. 📰☆135Oct 19, 2023Updated 2 years ago
- Simple script to export 1-to-1 chat history from HipChat☆11Jun 22, 2019Updated 6 years ago
- fcitx chewing wrapper☆10Nov 20, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- PTTCrawler is a powerful ptt crawler written by Java☆12Mar 4, 2016Updated 10 years ago
- Search Sketch Searches Text in Any Language☆13May 12, 2021Updated 4 years ago
- ☆13Dec 9, 2024Updated last year
- Using Android Watch to unlock Android phone via acoustic tokens.☆13Mar 2, 2017Updated 9 years ago
- ☆26Dec 3, 2012Updated 13 years ago
- 📝 Papers I read and notes/reviews I made. Also useful links to courses (RL/NLP/Bio/QC/DevOps)☆10May 4, 2021Updated 4 years ago
- Integration plugins for various KDE frameworks for the Wayland windowing system☆14Apr 7, 2026Updated last week
- turnin is a utility that enables students to turnin assignments using the command line. Requires a setup where each class has a unix acco…☆15Apr 10, 2025Updated last year
- An open source multi-channel (Messenger, Telegram and LINE) bot for querying and subscribing information and data about COVID-19.☆39Jan 5, 2023Updated 3 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.
- ☆12Aug 30, 2025Updated 7 months ago
- Tool to list dependencies of a DLL☆14Feb 22, 2018Updated 8 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
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated last year
- React component for messenger send to messenger plugin☆17Jul 19, 2023Updated 2 years ago
- Provenance Visualization Tool☆15Jun 10, 2021Updated 4 years ago
- ☆14Sep 29, 2017Updated 8 years ago
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.☆10Oct 21, 2020Updated 5 years ago
- Uses the D8M camera module, then processes the image to detect red objects, and then overlay an x,y crosshair on the largest red object. …☆15Jan 19, 2018Updated 8 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.
- ☆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 8 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- Adds macros for vim mode plus☆12Dec 16, 2019Updated 6 years ago
- A Neural Network designed to solve any rubik's cube of size NxNxN☆20Aug 23, 2015Updated 10 years ago
- 使用 Node.js 與 FB API 架起來的匿名發文系統☆11Apr 29, 2016Updated 9 years ago
- gigantic repository☆21Jan 11, 2023Updated 3 years ago