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
- minimalistic TowerDefense☆10May 24, 2025Updated last year
- OpenAPI3 Generator☆14Jul 4, 2025Updated last year
- Desktop App built with Golang Fyne toolkit☆14Oct 5, 2020Updated 5 years ago
- A CLI tool for managing GitHub Actions workflows☆15Jan 3, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Boost your development!☆22May 27, 2019Updated 7 years ago
- Go HTTP handler for serving swagger-ui☆11May 2, 2016Updated 10 years ago
- Access SOAP web services from GNU Emacs. This package is maintained as part of the GNU Emacs source repository☆10Jun 17, 2018Updated 8 years ago
- Specialized 2D/3D R-Tree library for Go☆11May 31, 2017Updated 9 years ago
- A to-do list which follows you everywhere, written with Kotlin☆14Apr 16, 2025Updated last year
- Lisp machine X11 keyboard layout☆13Apr 27, 2023Updated 3 years ago
- Configuration Tree for Python☆14Nov 28, 2023Updated 2 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Jun 6, 2013Updated 13 years ago
- Emacs mode for editing MiniZinc model file☆12Apr 26, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple (experimental) tool for generating Kubernetes manifest from templates based on CUE☆25Nov 21, 2022Updated 3 years ago
- Physics, Collision, and Mouse systems for the Engo game engine that utilizes ByteArena's box2d Go port☆27Dec 29, 2023Updated 2 years ago
- Simple moonlander like game with some new mechanics☆19Oct 21, 2021Updated 4 years ago
- amd64 optimized bit operations☆41Jan 13, 2018Updated 8 years ago
- A simple game in Scheme.☆15Dec 30, 2016Updated 9 years ago
- ☆19Nov 28, 2023Updated 2 years ago
- Last-seen sketch implementation in Go☆16Dec 15, 2020Updated 5 years ago
- Simple expiring cache☆15Mar 14, 2017Updated 9 years ago
- ☆11Jun 8, 2022Updated 4 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.
- A low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- This is the Go implementation of Money☆14Jan 12, 2024Updated 2 years ago
- Parinfer implementation in JavaScript☆11Nov 3, 2022Updated 3 years ago
- ☆13Feb 6, 2018Updated 8 years ago
- WebAssembly version of Plorth programming language☆16Dec 20, 2017Updated 8 years ago
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 9 years ago
- ghdag is a tiny workflow engine for GitHub issue and pull request.☆23May 14, 2026Updated 2 months ago
- Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface☆19Mar 4, 2023Updated 3 years ago
- ☆18Sep 3, 2018Updated 7 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.
- Micro Transport Protocoll 4 Java☆11Mar 21, 2024Updated 2 years ago
- 支持常见webshell流量一键解密(完美兼容php)、AES专项解密(内置50wKey爆破)、各类单项解密(Base64、Rot13、strRev、Chr等)、自定义Js解密 Support common websh…☆36Mar 23, 2024Updated 2 years ago
- Excelante is an API used to read and write Excel files through HTTP requests☆22Mar 6, 2023Updated 3 years ago
- ☆20Feb 24, 2016Updated 10 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- MetaSSH connects to and runs commands on thousands of machines in seconds.☆18Nov 1, 2018Updated 7 years ago
- Fast, sparse bitsets☆21Apr 5, 2021Updated 5 years ago