CU Decision Diagram Package (CUDD, unofficial mirror)
☆18Jul 12, 2012Updated 14 years ago
Alternatives and similar repositories for cudd
Users that are interested in cudd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This library contains rectilinear spanning graph construction, finding minimum spanning tree and an implementation of binary search tree☆10Aug 22, 2015Updated 11 years ago
- 在线教育平台☆34Sep 3, 2015Updated 11 years ago
- GreenTea is a basic cheat base for CS:GO, it has nothing but Paint Traverse hooked but is intended as a reference for the most basic of g…☆13Nov 4, 2020Updated 6 years ago
- bmod parses binaries for modification/patching and disassembles machine code sections.☆12Apr 19, 2018Updated 8 years ago
- json compressor for packing messages with memoization☆12Feb 28, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A nim variant of the code for the modern robotics book☆10Dec 5, 2020Updated 5 years ago
- Obfuscated TCP☆14Apr 30, 2009Updated 17 years ago
- ☆11Jun 26, 2024Updated 2 years ago
- Attach to a process and modify environment on exec☆11Apr 5, 2013Updated 13 years ago
- A common API for interfacing with secure services☆17Jul 10, 2026Updated 3 months ago
- ☆24Jul 31, 2016Updated 10 years ago
- Download your Notion's database and save it locally into SQLite.☆17Mar 27, 2022Updated 4 years ago
- A cross platform Rust library that returns the vendor and product IDs of currently connected USB devices☆11Oct 28, 2024Updated 2 years ago
- libcmods - provides c module headers for popular libraries☆15Oct 12, 2014Updated 12 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.
- LuaDate 2 modified to work with newer versions of lua/luajit☆14Nov 11, 2012Updated 13 years ago
- MQseries client library☆12May 3, 2023Updated 3 years ago
- Tools to pack/unpack RAZR i bootimages☆12Jul 24, 2014Updated 12 years ago
- memcached extension☆12Jul 13, 2020Updated 6 years ago
- Library for agents in node.js☆15Jan 29, 2016Updated 10 years ago
- Rust port of TLSH☆15Oct 12, 2025Updated last year
- protect USB devices FAT-32 partitions against malware☆12Nov 4, 2015Updated 10 years ago
- Lua ELF parsing library☆11Aug 3, 2013Updated 13 years ago
- seperate nvim config☆14Aug 24, 2026Updated 2 months 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.
- Code for "Reddit in 10 Lines" Tutorial☆11Jul 1, 2012Updated 14 years ago
- portable version of OpenBSD's signify(1) signature tool☆13Mar 25, 2016Updated 10 years ago
- riii☆12Dec 10, 2015Updated 10 years ago
- Ultra-light PNG loader library for Windows☆14Mar 3, 2013Updated 13 years ago
- Automatic ROP chain generator☆12Mar 29, 2015Updated 11 years ago
- A relativistic solution to Einstein's equations and a ray tracer for that solution☆14May 29, 2015Updated 11 years ago
- ☆10Oct 16, 2009Updated 17 years ago
- C str to us / ms utilities☆18Dec 23, 2014Updated 11 years ago
- Awesome with LuaJIT-2.0.0 support.☆10Sep 7, 2011Updated 15 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.
- Poor man's automatic revision control. VLH automatically saves buffers on write using git, and provides diff, open and restore commands.☆13Nov 15, 2008Updated 17 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Jul 18, 2012Updated 14 years ago
- A tool for generating Chinese characters stamp image☆12Oct 21, 2013Updated 13 years ago
- The open source, cross platform level editor for idtech games (NetRadiant fork)☆12Oct 9, 2017Updated 9 years ago
- The Free Fiasco Firmware Flasher☆13Dec 11, 2016Updated 9 years ago
- Learn to write a tiny OS for ARM CPU (move to juluosdev --> https://github.com/juluosdev/JuluOS)☆10Aug 31, 2012Updated 14 years ago
- CPU Profiling support for Kadira☆14Oct 26, 2018Updated 8 years ago