dalzilio / ruddLinks
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
☆13Updated last year
Alternatives and similar repositories for rudd
Users that are interested in rudd are comparing it to the libraries listed below
Sorting:
- symbolic reachability checker☆23Updated 4 years ago
- Create small Go-based root file systems -- with support for CPIOs and (TBD) Docker images☆29Updated 5 months ago
- Another wasm interpreter engine for gophers based on pure golang☆11Updated 3 years ago
- A pure go implementation of the KVM API☆12Updated 7 years ago
- translate LLVM IR to Go☆125Updated 3 years ago
- Exposes batch message receives (recvmmsg)☆14Updated 5 months ago
- A Go library for reading and parsing ELF files☆31Updated last year
- Package alg provides access to Linux AF_ALG sockets for communication with the Linux kernel crypto API. MIT Licensed.☆16Updated 4 years ago
- Fast HTTP server that supports handlers written in Starlark☆19Updated 5 months ago
- Detect compiler names and versions from ELF files☆26Updated 8 months ago
- A wrapper library for the set of ptrace-related system calls in Linux☆13Updated 11 years ago
- Linux kernel images for router7☆13Updated this week
- A Go package for encoding and decoding video and audio files.☆15Updated 4 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18Updated 9 months ago
- Go implementation for loading / unloading Linux kernel modules☆52Updated 5 months ago
- Unix userland implemented in pure Go, texutils, pipes, exec handlers, shell colon parsing.☆21Updated 2 years ago
- x86-64 instruction encoder in Go☆23Updated 6 years ago
- A fuzzer that generates random Go programs☆19Updated last week
- Go helper types for issuing and handling HTTP requests☆13Updated last year
- Golang goroutines synchronization primitive wihout extra dependencies☆14Updated last year
- SquashFS read only implementation in pure go☆16Updated last month
- Rendering capabilities for go-text based typesetting☆13Updated last week
- Go module and utility for executing machine code☆24Updated last year
- Go implementation of SipHash-64/128☆14Updated 3 years ago
- Go library to define type-safe host functions in wazero and other WebAssembly runtimes.☆24Updated 4 months ago
- Bindings for the Z3 SMT solver☆34Updated 3 years ago
- DAL (Data Access Layer) - a proxy for SQL databases with MongoDB inspired query interface☆11Updated last year
- Aeshash is a fast hash function extracted from the Go runtime that uses the Intel AESENC instruction. Used by Go's map on Intel x86-64 ar…☆18Updated 4 years ago
- Robin hood bloom filter (C library)☆37Updated last year
- Golang specific ELF reader/parser CLI tool☆31Updated 8 years ago