toy minikanren impl in Go lang
☆58Mar 17, 2014Updated 12 years ago
Alternatives and similar repositories for gologic
Users that are interested in gologic 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 Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆47Aug 24, 2026Updated last month
- JSON Schema files for Pandoc JSON☆14Aug 19, 2014Updated 12 years ago
- A simple, natural language based, pirate adventure game in Prolog.☆18Oct 20, 2013Updated 12 years ago
- Statistical modeling in Go☆14May 19, 2021Updated 5 years ago
- Prolog interpreter in Go☆373Nov 12, 2019Updated 6 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.
- ☆23Feb 28, 2019Updated 7 years ago
- Experiments that do not fit into a separate repository.☆52Jun 8, 2026Updated 4 months ago
- ☆10Dec 6, 2019Updated 6 years ago
- Strongly-typed, safe, opinionated systems language that compiles to C.☆15May 16, 2019Updated 7 years ago
- Playing with golang☆11Mar 7, 2016Updated 10 years ago
- Makes vim interrupt you less☆20Mar 21, 2015Updated 11 years ago
- quick line count by extension☆21Feb 10, 2021Updated 5 years ago
- Binary lambda calculus☆11Jun 30, 2026Updated 3 months ago
- 🏃♂️ Natural language activity tracking with GPT-3☆13Jan 9, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Scratchpad☆20Apr 3, 2022Updated 4 years ago
- Transducers for Go☆48Apr 12, 2015Updated 11 years ago
- NOT MAINTAINED, use rest_condition instead.☆18Apr 8, 2014Updated 12 years ago
- Implementation of join calculus in Objective-C for iOS☆11Oct 18, 2017Updated 8 years ago
- ☆10Mar 15, 2022Updated 4 years ago
- A strongly-typed handy scripting language with type inference☆14Aug 31, 2018Updated 8 years ago
- esa client library for API v1 written in golang☆13Aug 15, 2019Updated 7 years ago
- Golang implementation of the Linear Programming (LP) Simplex algorithm☆11Sep 27, 2019Updated 7 years ago
- Stateless backoff strategies for Go☆16Apr 28, 2018Updated 8 years 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.
- NGinx proxy pass configuration designed for Websockets load balanced through ELB, running on ECS☆18Sep 19, 2015Updated 11 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 years ago
- A general purpose application which can be used to host read-only access to one or more Bleve indexes☆12Sep 28, 2016Updated 10 years ago
- Fast, modular, and extensible peer to peer library in Go☆13Apr 16, 2019Updated 7 years ago
- Clojurescript collaborative coding environment☆13Jun 17, 2017Updated 9 years ago
- automatic differentiation library for common lisp☆23May 24, 2013Updated 13 years ago
- A template literal tag that sanitizes interpolations.☆12Sep 19, 2024Updated 2 years ago
- C++ Automatic Reference Counting - This project intends to simplify memory management in C++, using reference counting.☆28Aug 2, 2021Updated 5 years ago
- The package manager.☆36Mar 24, 2023Updated 3 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.
- tabix file access with golang using biogo machinery☆10Jul 1, 2025Updated last year
- Sprites - A Simple JavaScript Library to handle Sprites on HTML Canvas☆16Jul 16, 2016Updated 10 years ago
- Go wrapper for Google's ortools☆10Nov 29, 2017Updated 8 years ago
- ☆10Mar 4, 2026Updated 7 months ago
- chromaprint with the build system replaced by zig☆14Feb 25, 2024Updated 2 years ago
- library for working amorphous data (as when you decode json into an interface{})☆12Sep 20, 2025Updated last year
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 4 years ago