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
Sorting:
- BDD Package - Sapporo Edition☆21Oct 17, 2023Updated 2 years ago
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 7 years ago
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- sshkit/rake in Golang☆10May 11, 2025Updated 9 months ago
- Via Text Density Simple Web Crawler With Go☆13Mar 19, 2023Updated 2 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- UDisks2 D-Bus interfaces binding for Qt5.☆11Jul 11, 2024Updated last year
- Go SDK for working with Cerbos☆15Updated this week
- An open platform for capturing, integrating, storing, and sharing biological knowledge in and across organizations.☆24Jan 28, 2017Updated 9 years ago
- Minimal GUI in Go initially based on https://github.com/faiface/gui☆11Mar 1, 2020Updated 6 years ago
- A brookshear virtual machine written in Go☆10Sep 5, 2019Updated 6 years ago
- Library for handling Commodore 1541 (floppy drive used with the C64) disk images☆13May 31, 2020Updated 5 years ago
- Structural version control powered by gotreesitter — entity-level merge, diff, and commit indexing for Git☆39Updated this week
- QtPropertyBrowser From qttools and add cmake can compile with Qt5&Qt6☆14Sep 2, 2025Updated 6 months ago
- Golang wrapper for libhydrogen☆13Apr 5, 2023Updated 2 years ago
- An experimental web framework for creating user interfaces☆12Jan 30, 2024Updated 2 years ago
- Pure Go bindings for Zydis.☆13Jul 14, 2024Updated last year
- ☆12Jun 15, 2018Updated 7 years ago
- ☆14Feb 26, 2026Updated last week
- Jsonmap is a Go package to parse and use raw json.☆10Nov 10, 2023Updated 2 years ago
- Please let me know if you are interested. I would be more than happy to help you onboard this project for you and your company!☆11Nov 26, 2024Updated last year
- A flamegraph generator for Postgres EXPLAIN ANALYZE output.☆11Aug 16, 2020Updated 5 years ago
- glitch it with glitchlets, for monome norns.☆12Oct 17, 2020Updated 5 years ago
- Go as a shader language: converts Go code to SPIR-V via HLSL☆11Jan 9, 2024Updated 2 years ago
- ☆11Aug 21, 2023Updated 2 years ago
- GO Bindings for Csound6☆14Jul 16, 2021Updated 4 years ago
- ☆11Mar 16, 2016Updated 9 years ago
- ☆12Jun 30, 2024Updated last year
- An open source Go parser for the CC-CEDICT Chinese Dictionary☆13Feb 24, 2015Updated 11 years ago
- ☆12May 27, 2024Updated last year
- Experiments with FIPS-compliant Golang crypto☆14Oct 25, 2023Updated 2 years ago
- Easy Go Background Job Process Bucket☆10Oct 10, 2018Updated 7 years ago
- Go library for efficient skyline queries☆18Aug 17, 2025Updated 6 months ago
- Repository characteristics☆14Updated this week
- graphviz dot language support for Go☆21Jul 7, 2024Updated last year
- A fast Go implementation of character operations on ASCII bytes and strings.☆10Dec 10, 2015Updated 10 years ago
- A go utility for scraping web page metadata, supporting open graph, schema.org and more.☆13Jul 6, 2015Updated 10 years ago