Golang implementation of datalog, port of MITRE corporation's lua implementation
☆25Sep 21, 2020Updated 5 years ago
Alternatives and similar repositories for gotalog
Users that are interested in gotalog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A datalog prover and interpreter in Go.☆37Jan 11, 2016Updated 10 years ago
- FakeLua is a subset of Lua JIT.☆13Updated this week
- The BASIC-BINARY-IPC system provides an interface for performing inter process communication using IPv4 or local streams. The interface f…☆21Nov 7, 2021Updated 4 years ago
- Interactive, regex-based folding☆15Jun 15, 2015Updated 10 years ago
- Boost your development!☆22May 27, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Go HTTP handler for serving swagger-ui☆11May 2, 2016Updated 10 years ago
- Specialized 2D/3D R-Tree library for Go☆11May 31, 2017Updated 8 years ago
- Lisp machine X11 keyboard layout☆13Apr 27, 2023Updated 3 years ago
- A simple (experimental) tool for generating Kubernetes manifest from templates based on CUE☆25Nov 21, 2022Updated 3 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- XFree86 window movement for OS X☆24Nov 20, 2020Updated 5 years ago
- Easily sources for you libraries enabling ctags for your sbt projects - for use with vim, emacs, sublime☆32Aug 8, 2014Updated 11 years ago
- A simple health-check written in go.☆15Feb 6, 2022Updated 4 years ago
- Package retrygroup provides synchronization, Context cancelation for groups of retry goroutines working on subtasks of a common task.☆17Feb 20, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple game in Scheme.☆15Dec 30, 2016Updated 9 years ago
- amd64 optimized bit operations☆41Jan 13, 2018Updated 8 years ago
- Load generator for graphite, Go-based.☆14May 31, 2017Updated 8 years ago
- A Clojure library designed to export datomic data to flat files.☆11May 23, 2016Updated 10 years ago
- Our GitHub Actions runner (Runs our tests in a Firecracker VM)☆22May 20, 2026Updated last week
- fast tcp client built on netty☆49May 22, 2017Updated 9 years ago
- ☆19Nov 28, 2023Updated 2 years ago
- IDA Processor for Compiled YARA Rules☆28Jan 22, 2019Updated 7 years ago
- Last-seen sketch implementation in Go☆16Dec 15, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- core memory & swap reporting☆103Sep 17, 2018Updated 7 years ago
- ☆13Feb 6, 2018Updated 8 years ago
- Simple expiring cache☆15Mar 14, 2017Updated 9 years ago
- Parinfer implementation in JavaScript☆11Nov 3, 2022Updated 3 years ago
- This is the Go implementation of Money☆14Jan 12, 2024Updated 2 years ago
- WebAssembly version of Plorth programming language☆16Dec 20, 2017Updated 8 years ago
- A simple implementation of the LISP2 mark-compact GC algorithm☆43Nov 20, 2014Updated 11 years ago
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 8 years ago
- Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface☆19Mar 4, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ghdag is a tiny workflow engine for GitHub issue and pull request.☆23May 14, 2026Updated 2 weeks ago
- Fast, sparse bitsets☆21Apr 5, 2021Updated 5 years ago
- Micro Transport Protocoll 4 Java☆11Mar 21, 2024Updated 2 years ago
- ☆18Mar 8, 2022Updated 4 years ago
- Audio Queue Services with Swift☆11Oct 6, 2016Updated 9 years ago
- ☆20Feb 24, 2016Updated 10 years ago
- Entity management on top of key-value stores☆23Jan 16, 2026Updated 4 months ago