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
- API Connect Operations CLI☆12Dec 19, 2025Updated 2 months ago
- sshkit/rake in Golang☆10May 11, 2025Updated 9 months ago
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- An application for comparing two binary files☆11Feb 22, 2019Updated 7 years ago
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- Cache it your way! Record your computers audio output to an audio library.☆10Aug 25, 2020Updated 5 years ago
- A fast Go implementation of character operations on ASCII bytes and strings.☆10Dec 10, 2015Updated 10 years ago
- ☆12Jan 19, 2020Updated 6 years ago
- An open source Go parser for the CC-CEDICT Chinese Dictionary☆13Feb 24, 2015Updated 11 years ago
- Golang wrapper for libhydrogen☆13Apr 5, 2023Updated 2 years ago
- Go as a shader language: converts Go code to SPIR-V via HLSL☆11Jan 9, 2024Updated 2 years ago
- 工具助手☆14Oct 14, 2019Updated 6 years ago
- Pure Go bindings for Zydis.☆13Jul 14, 2024Updated last year
- Library for handling Commodore 1541 (floppy drive used with the C64) disk images☆13May 31, 2020Updated 5 years ago
- Jsonmap is a Go package to parse and use raw json.☆10Nov 10, 2023Updated 2 years ago
- A go utility for scraping web page metadata, supporting open graph, schema.org and more.☆13Jul 6, 2015Updated 10 years ago
- Experiments with FIPS-compliant Golang crypto☆14Oct 25, 2023Updated 2 years ago
- glitch it with glitchlets, for monome norns.☆12Oct 17, 2020Updated 5 years ago
- ☆14Feb 26, 2026Updated last week
- Go library for efficient skyline queries☆18Aug 17, 2025Updated 6 months ago
- ☆11Aug 21, 2023Updated 2 years ago
- A Go gRPC client library for Vald☆13Feb 3, 2026Updated last month
- A Topic Model for Document Comparison☆14Aug 23, 2019Updated 6 years ago
- Graphical utility to format 3.5" and 5.25" floppy disks☆12Feb 27, 2026Updated last week
- V-gram indexing for PostgreSQL☆12Jul 30, 2025Updated 7 months ago
- An elegant way to send message between Swift and WKWebView☆11Jun 26, 2025Updated 8 months ago
- Lisp-like functional programming language written in Go☆11Jun 21, 2020Updated 5 years ago
- GO Bindings for Csound6☆14Jul 16, 2021Updated 4 years ago
- graphviz dot language support for Go☆21Jul 7, 2024Updated last year
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Project of OOP, Tsinghua University, 2018 spring; Implement of "VLSI Module Placement Based on Rectangle Packing by the Sequence-Pair"☆13Jun 30, 2019Updated 6 years ago
- ☆11Mar 16, 2016Updated 9 years ago
- ☆12May 27, 2024Updated last year
- Repository characteristics☆14Updated this week
- Primitives and routines for 2D shapes, curves, and paths. A port of kurbo.☆11Mar 26, 2025Updated 11 months ago
- UDisks2 D-Bus interfaces binding for Qt5.☆11Jul 11, 2024Updated last year
- Go SDK for working with Cerbos☆15Updated this week