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:
- (Find My Tab) A Chrome Extension that fights with too many tabs.☆10Aug 15, 2025Updated 10 months ago
- Multimedia SoC Design with Specialization on Application Acceleration with High-Level-Synthesis [2020 Fall]☆12Jun 15, 2021Updated 5 years ago
- PHP Extension for file operations☆10Dec 7, 2015Updated 10 years ago
- DSnP Open Source Repository☆177Jul 22, 2025Updated 11 months ago
- An utility library for Bottender and higher-order handlers☆57Jul 1, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implementation of PCA algorithm using Gram-Scmidt modification on NIPALS☆10Jun 13, 2015Updated 11 years ago
- 💻 A modern CLI to get your favorite news. 📰☆135Oct 19, 2023Updated 2 years ago
- Merge Ted Subtitles (Chinese/English)☆12Mar 30, 2018Updated 8 years ago
- Go syntax highlighting and snippets for Ginkgo specs and matchers.☆10Feb 17, 2022Updated 4 years ago
- React component for messenger message us plugin☆10Jul 19, 2023Updated 2 years ago
- fcitx chewing wrapper☆10Nov 20, 2022Updated 3 years ago
- 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 5 years ago
- ☆13Dec 9, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A framework for building native apps with React.☆10Apr 22, 2015Updated 11 years ago
- ☆17May 26, 2026Updated last month
- A framework for Alfred 2 workflow development in Ruby.☆68Mar 29, 2013Updated 13 years ago
- Integration plugins for various KDE frameworks for the Wayland windowing system☆14Updated this week
- An Xposed Module-XMultiWindow☆25Jan 2, 2015Updated 11 years ago
- 中央氣象 局氣象資料 GraphQL API Gateway☆15Jun 13, 2026Updated 3 weeks ago
- An implementation referencing "Hsu, YungChien, Yen-Liang Lin, and Winston Hsu. "Learning-based heart rate detection from remote photoplet…☆15Feb 8, 2015Updated 11 years ago
- Optimized fuzzy omnibox history search for chrome - Like firefox quick history search☆13Apr 11, 2023Updated 3 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆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
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- ☆10Feb 23, 2024Updated 2 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
- Adds macros for vim mode plus☆12Dec 16, 2019Updated 6 years ago
- 使用 Node.js 與 FB API 架起來的匿名發文系統☆11Apr 29, 2016Updated 10 years ago
- gigantic repository☆20Jan 11, 2023Updated 3 years ago
- A fast float to string algorithm based on schubfach.☆36Jun 18, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Kieler Analyzer for Executables and Libraries - an interactive disassembler☆11May 24, 2018Updated 8 years ago
- ☆11Dec 13, 2022Updated 3 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- A Clang/LLVM add-on to enforce coding rules☆34Nov 15, 2013Updated 12 years ago
- OpenNI2-related formulae for the Homebrew package manager☆42May 2, 2018Updated 8 years ago
- ABI compatible replacement for https://github.com/holepunchto/libjs built on QuickJS☆22Jul 3, 2026Updated last week
- A Better Vim Colorscheme.☆10Dec 21, 2023Updated 2 years ago