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:
- annotated bibliography on approximate computing☆10Jan 16, 2016Updated 10 years ago
- BDD Package - Sapporo Edition☆23Apr 27, 2026Updated 4 months ago
- An R package for feature selection in topological spaces.☆11Aug 12, 2021Updated 5 years ago
- CTF Writeups for the UW CTF Team☆15Dec 4, 2019Updated 6 years ago
- Mac Extras for Qt☆12May 18, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An interface between The Open Source Race Car Simulator (TORCS) and MATLAB/Simulink (or anything else...)☆16Jan 27, 2015Updated 11 years ago
- New Cache implementation using Gem5☆13Apr 2, 2014Updated 12 years ago
- CSCAR workshop material☆18Oct 2, 2020Updated 5 years ago
- DistMap☆15Nov 23, 2021Updated 4 years ago
- CUDD Decision Diagram Package☆169Dec 12, 2025Updated 8 months ago
- Official Code Repository for the POLICEd-RL Paper: https://www.roboticsproceedings.org/rss20/p104.html☆14Mar 4, 2025Updated last year
- ☆14Sep 29, 2025Updated 11 months ago
- C++ snappy stream realisation, compatible with http://github.com/dain/snappy☆16Jul 24, 2024Updated 2 years ago
- Set Programming with JuMP☆23Jun 20, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Implementation of Neurips 2023 Paper "Multi Time Scale World Models"☆22Nov 8, 2024Updated last year
- Repository for the GRAIC synthesis competition☆22Nov 22, 2023Updated 2 years ago
- Just a lil' thing I've been working on.☆10Oct 11, 2021Updated 4 years ago
- Latex Ph.D. thesis template for the University of Michigan☆17May 28, 2022Updated 4 years ago
- Balthisar Tidy for macOS HTML Cleaner☆23Apr 12, 2023Updated 3 years ago
- Hybrid Memory Cube Simulation & Research Infrastructure☆18Jun 9, 2025Updated last year
- RTMP live streaming client for Android☆11Jul 27, 2020Updated 6 years ago
- A fork of the main Verilator project for development work. The changes here are in preparation for committing back to the main project.☆18Nov 26, 2014Updated 11 years ago
- 将日常中实现的各类有益Android实例集合起来，做成类似API Demo的小程序，方便日后回顾展示☆28Jun 27, 2013Updated 13 years 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.
- Synthesis Format Conversion Tool☆28Nov 18, 2025Updated 9 months ago
- Fork from http://www.obdtester.com/pyobd, a OBD-II compliant car diagnostic tool.☆35May 5, 2014Updated 12 years ago
- Chrome extension that allows for navigation of Google Calendar with keyboard shortcuts☆14Nov 9, 2020Updated 5 years ago
- ☆11Nov 30, 2019Updated 6 years ago
- Single cell network synthesis toolkit☆23Feb 15, 2021Updated 5 years ago
- Code for "On Uncertainty in Deep State Space Models for Model-Based Reinforcement Learning" (TMLR, 2022)☆19Sep 13, 2023Updated 2 years ago
- Deduction framework with arbitrary mathematical system solver.☆18Jun 11, 2025Updated last year
- Repository of the work "Learning Adaptive Safety for Multi-agent Systems"☆17Apr 18, 2024Updated 2 years ago
- 在线教育平台☆34Sep 3, 2015Updated 11 years ago
- 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.
- NPM package with functionality to calculate Dutch Tax Income☆33Aug 11, 2026Updated 3 weeks ago
- An infrastructure built using PyGame and OpenAI Gymnasium used to train robots within a social navigation context with a wide range of hu…☆17Sep 10, 2025Updated 11 months ago
- A High-Level DRAM Timing, Power and Area Exploration Tool☆31Jul 29, 2020Updated 6 years ago
- This repository contains the code for RL for POMDPs through learning an Approximate Information State.☆23Nov 29, 2025Updated 9 months ago
- A Reinforcement Learning Friendly Simulator for Mobile Robot☆17Jan 5, 2025Updated last year
- ☆16May 17, 2024Updated 2 years ago
- General Modules for JAX☆74Apr 7, 2026Updated 4 months ago