amzuko / gotalogLinks
Golang implementation of datalog, port of MITRE corporation's lua implementation
☆25Updated 4 years ago
Alternatives and similar repositories for gotalog
Users that are interested in gotalog are comparing it to the libraries listed below
Sorting:
- If enabled, allows live debug scripting of a running process's Go objects and types over a TCP socket.☆16Updated last year
- Golang Hash Array Map Trie☆11Updated 3 years ago
- A fast encoder for Go.☆11Updated 4 years ago
- A datalog prover and interpreter in Go.☆36Updated 9 years ago
- Go Object Notation.☆24Updated 3 years ago
- Basic Golang implementation of a Triple Store. Built to learn the Golang language before an internship.☆19Updated 6 years ago
- A library that provides simple TLS SNI demultiplexing without actually consuming the SSL handshake.☆23Updated 9 years ago
- Blazing fast, local network scanning in Go☆37Updated 6 years ago
- Regular expression libraries for Go☆15Updated 3 years ago
- An x86(_64) spinlock☆15Updated 10 years ago
- AST normalization experiment☆45Updated 6 years ago
- Go library for generating XOAuth2 strings (for use in XOAUTH2 SASL auth schemes for IMAP/SMTP)☆13Updated 12 years ago
- symbolic reachability checker☆23Updated 3 years ago
- Utilities for handling long lived Go workers☆10Updated 2 weeks ago
- github.com/cznic/strutil has moved to modernc.org/strutil☆16Updated 6 years ago
- Martin's HTTP package☆12Updated last week
- Library of generic stuff for Genny☆14Updated 6 years ago
- ☆15Updated 8 years ago
- Key/Value database benchmark☆26Updated 5 years ago
- Parens is a highly flexible and embeddable LISP toolkit.☆33Updated 4 years ago
- In memory cache server with query capabilities☆26Updated last year
- Command to show character (Unicode code point) frequency.☆22Updated 9 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- The speed of a native map, the safety of sync.RWMutex and the durability of bbolt☆24Updated 5 years ago
- SQLite load testing application using GitHub Archive data.☆14Updated 3 years ago
- xast: ast rewriter with built-in clean up.☆27Updated 7 years ago
- ☆10Updated 2 years ago
- Deterministic Finite Automata to define computation with labeled states and explicit transitions☆13Updated 5 years ago
- ☆23Updated 6 years ago
- Handmade tools for day-to-day plumbing.☆21Updated 5 years ago