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 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 9 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☆23Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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
- 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.
- Synthesis Format Conversion Tool☆28Nov 18, 2025Updated 10 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)☆20Sep 13, 2023Updated 3 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- NPM package with functionality to calculate Dutch Tax Income☆33Aug 11, 2026Updated last month
- 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 last year
- A High-Level DRAM Timing, Power and Area Exploration Tool☆32Jul 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
- ☆17May 17, 2024Updated 2 years ago
- Pytorch implementation of lookahead optimizer(https://arxiv.org/pdf/1907.08610.pdf) and RAdam(https://arxiv.org/pdf/1908.03265.pdf)☆15Jun 25, 2022Updated 4 years ago