amzuko / gotalogLinks
Golang implementation of datalog, port of MITRE corporation's lua implementation
☆25Updated 5 years ago
Alternatives and similar repositories for gotalog
Users that are interested in gotalog are comparing it to the libraries listed below
Sorting:
- A datalog prover and interpreter in Go.☆37Updated 9 years ago
- If enabled, allows live debug scripting of a running process's Go objects and types over a TCP socket.☆16Updated last year
- Go library for generating XOAuth2 strings (for use in XOAUTH2 SASL auth schemes for IMAP/SMTP)☆13Updated 13 years ago
- Blazing fast, local network scanning in Go☆37Updated 6 years ago
- Go driver for ragel scanners☆37Updated 5 years ago
- Port of D. J. Bernstein's primegen prime number generator to Go☆31Updated 5 years ago
- Go regexp for binary/latin-1 data☆48Updated 6 years ago
- model checking samples☆17Updated 4 years ago
- Go Object Notation.☆24Updated 3 years ago
- A Go Wrapper for JQ☆12Updated 6 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆42Updated 2 years ago
- golang parser-combinator library☆77Updated 3 years ago
- grep for diffs☆39Updated last year
- Static analysis of Go code through golang.org/x/tools/go/analysis☆22Updated 6 years ago
- Handy multitool that happens to be mostly Go☆70Updated this week
- Go static program analyser☆59Updated 5 years ago
- x86-64 instruction encoder in Go☆21Updated 6 years ago
- github.com/cznic/sqlite3shell has moved to modernc.org/sqlite3shell☆21Updated 7 years ago
- A simple bounded queue simulator☆21Updated 6 years ago
- A Common Lisp-like Lisp-1 in Go with TCO and partially hygienic macros☆37Updated 6 years ago
- Extremely experimental toy go compiler☆19Updated 5 years ago
- Sequitur algorithm for recognizing lexical structure in strings☆40Updated 3 years ago
- ☆23Updated 9 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 8 years ago
- Generate code for any language, with any language.☆67Updated 7 years ago
- MetaSSH connects to and runs commands on thousands of machines in seconds.☆19Updated 7 years ago
- A golang streaming histogram sketch. Fast quantiles and counts below a threshold.☆45Updated 2 years ago
- Encoding Agnostic Validation (Validation Language, Parsers and Encoders)☆95Updated 3 years ago
- Peggy is a PEG parser generator for Go.☆19Updated last month
- Source of paper “A critique of the CAP theorem”☆16Updated 9 years ago