dalzilio / ruddLinks
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
☆12Updated 9 months ago
Alternatives and similar repositories for rudd
Users that are interested in rudd are comparing it to the libraries listed below
Sorting:
- Another wasm interpreter engine for gophers based on pure golang☆11Updated 3 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Create small Go-based root file systems -- with support for CPIOs and (TBD) Docker images☆21Updated last month
- A Go library for reading and parsing ELF files☆30Updated last year
- A pure go implementation of the KVM API☆12Updated 6 years ago
- translate LLVM IR to Go☆121Updated 3 years ago
- A brookshear virtual machine written in Go☆10Updated 5 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18Updated 3 months ago
- Linux kernel images for router7☆12Updated this week
- Go module and utility for executing machine code☆24Updated last year
- Exposes batch message receives (recvmmsg)☆13Updated last week
- SquashFS read only implementation in pure go☆15Updated 4 months ago
- Go Transactional Outbox Library☆32Updated 3 months ago
- Fast HTTP server that supports handlers written in Starlark☆18Updated last month
- Go implementation for loading / unloading Linux kernel modules☆50Updated last year
- Go helper types for issuing and handling HTTP requests☆13Updated 7 months ago
- Go library to define type-safe host functions in wazero and other WebAssembly runtimes.☆24Updated 4 months ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Detect compiler names and versions from ELF files☆27Updated 3 months ago
- Rendering capabilities for go-text based typesetting☆12Updated 7 months ago
- Golang specific ELF reader/parser CLI tool☆31Updated 8 years ago
- The semantic desktop search engine☆28Updated 4 years ago
- A vet analyzer which checks sql queries for correctness☆10Updated 6 years ago
- Package alg provides access to Linux AF_ALG sockets for communication with the Linux kernel crypto API. MIT Licensed.☆16Updated 4 years ago
- A Go package for encoding and decoding video and audio files.☆14Updated 4 years ago
- A go package to process ARP, ICMP, DHCP and notify when mac is online or offline.☆28Updated 6 months ago
- Linux, FreeBSD, NetBSD, OpenBSD and Windows debugging detection library. With support for C and Go.☆42Updated 3 years ago
- Go package providing information about the number of CPUs in the system☆28Updated last week
- An interesting executable file parsing library written by Golang☆41Updated last year
- A fuzzer that generates random Go programs☆19Updated last month