ric2k1 / RicBDDView external linksLinks
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:
- (Find My Tab) A Chrome Extension that fights with too many tabs.☆10Aug 15, 2025Updated 6 months ago
- C++ Implementation of reduced order binary decision diagram data structure☆13Nov 11, 2015Updated 10 years ago
- Some customized keras layers used in Yoctol NLU.☆19Jun 26, 2017Updated 8 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago
- Implementation of PCA algorithm using Gram-Scmidt modification on NIPALS☆10Jun 13, 2015Updated 10 years ago
- ☆10Feb 8, 2024Updated 2 years ago
- Go syntax highlighting and snippets for Ginkgo specs and matchers.☆10Feb 17, 2022Updated 3 years ago
- ☆16Updated this week
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆10Aug 21, 2019Updated 6 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Aug 12, 2015Updated 10 years ago
- ☆10Feb 23, 2024Updated last year
- A framework for building native apps with React.☆10Apr 22, 2015Updated 10 years ago
- ☆11Mar 8, 2022Updated 3 years ago
- Ruby wrapper for the MusicBrainz XML Web Service Version 2☆29Dec 6, 2016Updated 9 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- Kieler Analyzer for Executables and Libraries - an interactive disassembler☆11May 24, 2018Updated 7 years ago
- Love Live! School Idol Festival: Keyboard Controller☆11Sep 14, 2018Updated 7 years ago
- EPWING dictionary viewer☆11Nov 13, 2018Updated 7 years ago
- OMR JIT glue code implementing a Ruby JIT☆11Dec 6, 2016Updated 9 years ago
- LeetCode OJ's Binary Tree Visualization in Python☆12Nov 19, 2016Updated 9 years ago
- The sample project for recoding/playing audio using Core Audio/Audiio Queue Services☆12Oct 5, 2018Updated 7 years ago
- Some Rubber Ducky Scripts☆12Jul 26, 2015Updated 10 years ago
- New Project Sekai Subtitle Maker☆10May 8, 2023Updated 2 years ago
- A framework for control-flow recovery in binary programs.☆10Jul 11, 2018Updated 7 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
- A collection of Windows functions, constants and macros predefined for you for win32-api☆24May 3, 2021Updated 4 years ago
- Some stuff for CTF.☆10Oct 27, 2019Updated 6 years ago
- ☆13Feb 8, 2023Updated 3 years ago
- JavaScript implementation of Japanese morphological analyzer. With types and browser support.☆17Sep 17, 2023Updated 2 years ago
- Aegisub ass file automation for Project SEKAI COLORFUL STAGE! story videos.☆10Apr 9, 2022Updated 3 years ago
- Command to run a command on Amazon Lambda.☆10Sep 25, 2015Updated 10 years ago
- An API wrapper for Taiwan e-invoice services.☆13May 23, 2025Updated 8 months ago
- An utility library for Bottender and higher-order handlers☆57Jul 1, 2021Updated 4 years ago
- A web site for uploading and sharing solutions for the game TIS-100.☆13Jun 22, 2025Updated 7 months ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆14Dec 28, 2024Updated last year
- Integration plugins for various KDE frameworks for the Wayland windowing system☆14Jan 27, 2026Updated 2 weeks ago
- Video retiming for the web.☆12Oct 10, 2024Updated last year
- Testing tool for TopCoder marathon matches.☆15Sep 17, 2015Updated 10 years ago