A simple yet decent Binary Decision Diagram package
☆26Jan 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
Sorting:
- C++ Implementation of reduced order binary decision diagram data structure☆13Nov 11, 2015Updated 10 years ago
- implementation of several label space dimension reduction approaches for multi-label classification☆34Jul 15, 2015Updated 10 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago
- Go syntax highlighting and snippets for Ginkgo specs and matchers.☆10Feb 17, 2022Updated 4 years ago
- ☆10Feb 8, 2024Updated 2 years ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆10Aug 21, 2019Updated 6 years ago
- Squirrel is a high level imperative, object-oriented programming language, designed to be a light-weight scripting language that fits in …☆14Jan 22, 2016Updated 10 years ago
- ☆16Feb 27, 2026Updated last week
- A collection of Windows functions, constants and macros predefined for you for win32-api☆24May 3, 2021Updated 4 years ago
- OMR JIT glue code implementing a Ruby JIT☆11Dec 6, 2016Updated 9 years ago
- Some Rubber Ducky Scripts☆12Jul 26, 2015Updated 10 years ago
- New Project Sekai Subtitle Maker☆10May 8, 2023Updated 2 years ago
- EPWING dictionary viewer☆11Nov 13, 2018Updated 7 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 11 months ago
- Love Live! School Idol Festival: Keyboard Controller☆11Sep 14, 2018Updated 7 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- ☆17Feb 10, 2026Updated 3 weeks ago
- Kieler Analyzer for Executables and Libraries - an interactive disassembler☆11May 24, 2018Updated 7 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Aug 12, 2015Updated 10 years ago
- LeetCode OJ's Binary Tree Visualization in Python☆12Nov 19, 2016Updated 9 years ago
- Some stuff for CTF.☆10Oct 27, 2019Updated 6 years ago
- ☆11Mar 8, 2022Updated 4 years ago
- Pintool to detect Read before Write memory access☆21Mar 20, 2013Updated 12 years ago
- A web site for uploading and sharing solutions for the game TIS-100.☆13Jun 22, 2025Updated 8 months ago
- Platform- and library-independent cryptography for Ruby.☆128Jun 22, 2014Updated 11 years ago
- Aegisub ass file automation for Project SEKAI COLORFUL STAGE! story videos.☆10Apr 9, 2022Updated 3 years ago
- CFE virtual competition framework☆14Feb 1, 2017Updated 9 years ago
- Testing tool for TopCoder marathon matches.☆15Sep 17, 2015Updated 10 years ago
- Video retiming for the web.☆12Oct 10, 2024Updated last year
- OpenRewrite recipes for data flow analysis.☆15Feb 25, 2026Updated last week
- fast float to string algorithm.☆26Updated this week
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆14Dec 28, 2024Updated last year
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Feb 28, 2026Updated last week
- HUD for tenhou.net riichi mahjong server. Shows tsumogiri and hidden tiles.☆14Jan 20, 2017Updated 9 years ago
- ☆14Feb 8, 2023Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- My presentation on Cyber Grand Challenge and DEFCON 24 CTF at SHLUG monthly meeting☆13Sep 24, 2016Updated 9 years ago
- exploit dev. stuff☆20Aug 7, 2012Updated 13 years ago
- Scott Tsai's $HOME/bin☆14Aug 19, 2025Updated 6 months ago