amzuko / gotalog
Golang implementation of datalog, port of MITRE corporation's lua implementation
☆24Updated 4 years ago
Alternatives and similar repositories for gotalog:
Users that are interested in gotalog are comparing it to the libraries listed below
- If enabled, allows live debug scripting of a running process's Go objects and types over a TCP socket.☆16Updated 11 months ago
- Go library for generating XOAuth2 strings (for use in XOAUTH2 SASL auth schemes for IMAP/SMTP)☆13Updated 12 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- ☆23Updated 6 years ago
- Library of generic stuff for Genny☆14Updated 6 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Basic Golang implementation of a Triple Store. Built to learn the Golang language before an internship.☆19Updated 6 years ago
- A fast encoder for Go.☆11Updated 4 years ago
- ☆15Updated 8 years ago
- xast: ast rewriter with built-in clean up.☆27Updated 7 years ago
- Golang Hash Array Map Trie☆11Updated 3 years ago
- blance - functional algorithm to assign partitions and replicas across distributed nodes☆14Updated last year
- Re-usable Go components and micro-frameworks☆33Updated 7 years ago
- ☆10Updated 2 years ago
- Go stemmers generated by the Snowball project☆22Updated 4 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- Port of D. J. Bernstein's primegen prime number generator to Go☆31Updated 5 years ago
- Regular expression libraries for Go☆15Updated 3 years ago
- Morally-correct string and stream interpolation for Go.☆24Updated 9 years ago
- A library that provides simple TLS SNI demultiplexing without actually consuming the SSL handshake.☆23Updated 9 years ago
- embd-go is an embeddable command-line tool for embedding data files in Go source code, specially crafted for easy use with `go generate`.☆26Updated 9 years ago
- Static analysis of Go code through golang.org/x/tools/go/analysis☆22Updated 6 years ago
- Command to show character (Unicode code point) frequency.☆22Updated 9 years ago
- Graph layouting package☆24Updated 2 months ago
- A logging library which conforms to Mozilla's logging standard.☆10Updated 6 years ago
- GAQ(Go Ast Query) is the library to query ast.Node children like JavaScript querySelector or querySelectorAll for Go.☆26Updated 6 years ago
- A C11 positional lexer with error reporting written in Go☆22Updated 7 years ago
- A simple bounded queue simulator☆21Updated 6 years ago
- monotonic timers for Go 1.2☆21Updated 6 years ago
- A simple static checker for unused results.☆23Updated last year