CU Decision Diagram Package (CUDD, unofficial mirror)
☆18Jul 12, 2012Updated 13 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:
- BDD Package - Sapporo Edition☆21Oct 17, 2023Updated 2 years ago
- annotated bibliography on approximate computing☆10Jan 16, 2016Updated 10 years ago
- An R package for feature selection in topological spaces.☆10Aug 12, 2021Updated 4 years ago
- Mac Extras for Qt☆12Oct 31, 2025Updated 5 months ago
- An interface between The Open Source Race Car Simulator (TORCS) and MATLAB/Simulink (or anything else...)☆16Jan 27, 2015Updated 11 years 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.
- New Cache implementation using Gem5☆13Apr 2, 2014Updated 12 years ago
- CSCAR workshop material☆18Oct 2, 2020Updated 5 years ago
- DistMap☆13Nov 23, 2021Updated 4 years ago
- CUDD Decision Diagram Package☆158Dec 12, 2025Updated 4 months ago
- Official Code Repository for the POLICEd-RL Paper: https://www.roboticsproceedings.org/rss20/p104.html☆14Mar 4, 2025Updated last year
- C++ snappy stream realisation, compatible with http://github.com/dain/snappy☆16Jul 24, 2024Updated last year
- ☆14Sep 29, 2025Updated 6 months ago
- Set Programming with JuMP☆23Updated this week
- Implementation of Neurips 2023 Paper "Multi Time Scale World Models"☆16Nov 8, 2024Updated last year
- 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.
- Latex Ph.D. thesis template for the University of Michigan☆17May 28, 2022Updated 3 years ago
- Hybrid Memory Cube Simulation & Research Infrastructure☆17Jun 9, 2025Updated 10 months ago
- Repository for the GRAIC synthesis competition☆22Nov 22, 2023Updated 2 years ago
- RTMP live streaming client for Android☆11Jul 27, 2020Updated 5 years ago
- Balthisar Tidy for macOS HTML Cleaner☆23Apr 12, 2023Updated 3 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
- Just a lil' thing I've been working on.☆10Oct 11, 2021Updated 4 years ago
- 将日常中实现的各类有益Android实例集合起来，做成类似API Demo的小程序，方便日后回顾展示☆29Jun 27, 2013Updated 12 years ago
- ☆11Nov 30, 2019Updated 6 years 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.
- Fork from http://www.obdtester.com/pyobd, a OBD-II compliant car diagnostic tool.☆35May 5, 2014Updated 11 years ago
- Chrome extension that allows for navigation of Google Calendar with keyboard shortcuts☆14Nov 9, 2020Updated 5 years ago
- ☆15May 17, 2024Updated last year
- Synthesis Format Conversion Tool☆27Nov 18, 2025Updated 4 months ago
- Python bindings to the Crypto++ library☆50Jul 29, 2023Updated 2 years ago
- Single cell network synthesis toolkit☆23Feb 15, 2021Updated 5 years ago
- Deduction framework with arbitrary mathematical system solver.☆16Jun 11, 2025Updated 10 months ago
- NPM package with functionality to calculate Dutch Tax Income☆33Apr 4, 2026Updated last week
- Repository of the work "Learning Adaptive Safety for Multi-agent Systems"☆16Apr 18, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 在线教育平台☆34Sep 3, 2015Updated 10 years ago
- Code for "On Uncertainty in Deep State Space Models for Model-Based Reinforcement Learning" (TMLR, 2022)☆19Sep 13, 2023Updated 2 years ago
- An infrastructure built using PyGame and OpenAI Gymnasium used to train robots within a social navigation context with a wide range of hu…☆11Sep 10, 2025Updated 7 months ago
- This repository contains the code for RL for POMDPs through learning an Approximate Information State.☆22Nov 29, 2025Updated 4 months ago
- A Reinforcement Learning Friendly Simulator for Mobile Robot☆19Jan 5, 2025Updated last year
- General Modules for JAX☆72Apr 7, 2026Updated last week
- Pytorch implementation of lookahead optimizer(https://arxiv.org/pdf/1907.08610.pdf) and RAdam(https://arxiv.org/pdf/1908.03265.pdf)☆15Jun 25, 2022Updated 3 years ago