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☆21Apr 27, 2026Updated 2 months ago
- An R package for feature selection in topological spaces.☆11Aug 12, 2021Updated 4 years ago
- CTF Writeups for the UW CTF Team☆15Dec 4, 2019Updated 6 years ago
- Mac Extras for Qt☆12May 18, 2026Updated 2 months 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.
- 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☆167Dec 12, 2025Updated 7 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 9 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 last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Implementation of Neurips 2023 Paper "Multi Time Scale World Models"☆18Nov 8, 2024Updated last year
- Repository for the GRAIC synthesis competition☆22Nov 22, 2023Updated 2 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 5 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
- Just a lil' thing I've been working on.☆10Oct 11, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Synthesis Format Conversion Tool☆28Nov 18, 2025Updated 8 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)☆18Sep 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"☆16Apr 18, 2024Updated 2 years ago
- 在线教育平台☆34Sep 3, 2015Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- NPM package with functionality to calculate Dutch Tax Income☆33Apr 4, 2026Updated 3 months 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 10 months ago
- A High-Level DRAM Timing, Power and Area Exploration Tool☆30Jul 29, 2020Updated 5 years ago
- This repository contains the code for RL for POMDPs through learning an Approximate Information State.☆23Nov 29, 2025Updated 7 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 3 months ago