dalzilio / ruddLinks
Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
☆12Updated 10 months ago
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 3 years ago
- A pure go implementation of the KVM API☆12Updated 6 years ago
- Create small Go-based root file systems -- with support for CPIOs and (TBD) Docker images☆23Updated 2 weeks ago
- Another wasm interpreter engine for gophers based on pure golang☆11Updated 3 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18Updated 4 months ago
- SquashFS read only implementation in pure go☆15Updated 5 months ago
- A Code Generator for ABNF Parsers☆13Updated 2 years ago
- A Go library for reading and parsing ELF files☆30Updated last year
- Detect compiler names and versions from ELF files☆27Updated 4 months ago
- translate LLVM IR to Go☆121Updated 3 years ago
- Fast HTTP server that supports handlers written in Starlark☆19Updated 2 weeks ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Linux kernel images for router7☆12Updated last week
- kaitaigo is a compiler and runtime to create Go parsers from Kaitai Struct files☆17Updated 3 years ago
- A fuzzer that generates random Go programs☆19Updated 2 months ago
- curl for websockets☆30Updated 9 years ago
- Go helper types for issuing and handling HTTP requests☆13Updated 8 months ago
- Rendering capabilities for go-text based typesetting☆12Updated 8 months ago
- File based database☆14Updated 5 years ago
- A wrapper library for the set of ptrace-related system calls in Linux☆13Updated 11 years ago
- Golang implementation of datalog, port of MITRE corporation's lua implementation☆26Updated 4 years ago
- Post-quantum trusted time-stamping server☆16Updated 9 months ago
- The semantic desktop search engine☆29Updated 4 years ago
- Golang specific ELF reader/parser CLI tool☆31Updated 8 years ago
- Exposes batch message receives (recvmmsg)☆13Updated last month
- Go implementation for loading / unloading Linux kernel modules☆50Updated 3 weeks ago
- Unix userland implemented in pure Go, texutils, pipes, exec handlers, shell colon parsing.☆21Updated 2 years ago
- Go Transactional Outbox Library☆32Updated 4 months ago
- An interesting executable file parsing library written by Golang☆41Updated last year
- 🍄 A parser, interpreter and compiler for libmagic rule files in golang☆20Updated 5 years ago