Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
☆13Nov 20, 2024Updated last year
Alternatives and similar repositories for rudd
Users that are interested in rudd are comparing it to the libraries listed below
Sorting:
- Go Package provides a generic data types similar to that of Ruby☆13Jan 22, 2026Updated last month
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Jun 30, 2025Updated 8 months ago
- High-Level Nets Blaster for the Model-Checking Contest☆10Jan 18, 2026Updated last month
- Rendering capabilities for go-text based typesetting☆14Feb 24, 2026Updated last week
- Converts WebAssembly to pure Go code.☆15Aug 31, 2022Updated 3 years ago
- A Code Generator for ABNF Parsers☆13Feb 25, 2023Updated 3 years ago
- Google Cloud Platform utilities in Go☆17Nov 20, 2025Updated 3 months ago
- Linux kernel images for router7☆13Updated this week
- ♪ Programming music theory concepts☆16Mar 7, 2023Updated 2 years ago
- Pure Go UEFI library for Linux and Windows☆19Jan 14, 2025Updated last year
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- Go library to define type-safe host functions in wazero and other WebAssembly runtimes.☆24Oct 3, 2025Updated 5 months ago
- Create small Go-based root file systems -- with support for CPIOs and (TBD) Docker images☆31Sep 5, 2025Updated 6 months ago
- an adjacency matrix layout for d3☆21Sep 15, 2016Updated 9 years ago
- Library for linux framebuffer device.☆24Apr 2, 2014Updated 11 years ago
- Port of Google's Farmhash version 1.0.0 to, pure, Go☆17Sep 19, 2016Updated 9 years ago
- Go wrapper for audio and music analysis library Aubio. WORK IN PROGRESS☆23Mar 18, 2021Updated 4 years ago
- xmlwriter is a pure-Go library providing procedural XML generation based on libxml2's xmlwriter module☆29Nov 28, 2025Updated 3 months ago
- pure golang crypt(3) implementation☆22Nov 20, 2025Updated 3 months ago
- GO binary I/O☆18Nov 10, 2019Updated 6 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 9 years ago
- Cooklang parser☆24Feb 22, 2025Updated last year
- Vega chart rendering in pure Go☆28Jul 9, 2025Updated 7 months ago
- Recreates directory and files from embedded filesystem using Go 1.16 embed.FS type.☆30Feb 18, 2022Updated 4 years ago
- Simple in Pure Go in Browser Interactive Interpreter☆30Jan 26, 2021Updated 5 years ago
- Read/write PNGs as well as the EXIF in PNGs from pure Go.☆27Jul 22, 2023Updated 2 years ago
- Fast and highly tuned bit vector implementation including space efficient rank and select support having only 3.51% space overhead.☆34Apr 7, 2025Updated 10 months ago
- Cross-platform wrapper for memory-related system calls.☆31Sep 5, 2025Updated 6 months ago
- Go Timer implementation with a fixed Reset behavior☆33Jun 14, 2024Updated last year
- A Go library for reading and parsing ELF files☆31Mar 21, 2024Updated last year
- Go XML Pull Parser☆34Jan 4, 2025Updated last year
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Nov 13, 2023Updated 2 years ago
- A design automation framework to engineer decision diagrams yourself☆26Feb 25, 2026Updated last week
- ☆32Nov 21, 2023Updated 2 years ago
- build and animate objects according to verlet physics. pure golang library☆31Aug 7, 2022Updated 3 years ago
- Logrus hook to expose Prometheus metrics.☆35Sep 2, 2021Updated 4 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- my personal website/blog☆13Feb 13, 2026Updated 2 weeks ago
- A fast Key-Value Pure Golang Database created mostly for fun☆10Mar 9, 2024Updated last year