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.☆45Sep 9, 2023Updated 2 years ago
- Parser-combinator in Go☆10Jul 19, 2020Updated 5 years ago
- Statistical modeling in Go☆14May 19, 2021Updated 4 years ago
- JSON Schema files for Pandoc JSON☆13Aug 19, 2014Updated 11 years ago
- Prolog interpreter in Go☆375Nov 12, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Convert a swagger.json file into an emacs org-mode buffer/file for export to static pdf/html/latex☆11Jun 11, 2016Updated 9 years ago
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 4 years ago
- A Go implementation of the Elias-Fano encoding☆41Jun 16, 2024Updated last year
- ☆23Feb 28, 2019Updated 7 years ago
- Experiments that do not fit into a separate repository.☆51Mar 5, 2026Updated 2 weeks ago
- Cache it your way! Record your computers audio output to an audio library.☆10Aug 25, 2020Updated 5 years ago
- ☆10Dec 6, 2019Updated 6 years ago
- microKanren implementation from DLS '16☆14May 29, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Strongly-typed, safe, opinionated systems language that compiles to C.☆14May 16, 2019Updated 6 years ago
- Yet Another Efficient Unification Algorithm☆28Oct 10, 2025Updated 5 months ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆167Apr 1, 2017Updated 8 years ago
- quick line count by extension☆21Feb 10, 2021Updated 5 years ago
- Binary lambda calculus☆10Jan 29, 2018Updated 8 years ago
- Rust implementation of the Haskell Rampart library that determines how intervals relate to each other.☆11Apr 21, 2022Updated 3 years ago
- A datalog prover and interpreter in Go.☆37Jan 11, 2016Updated 10 years ago
- Playing with golang☆11Mar 7, 2016Updated 10 years ago
- HTML5/JS browser wrapper for golang gui apps with minimal dependencies.☆28Jul 2, 2014Updated 11 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Drafts of a Dapper-style tracing client for Go☆44Jul 24, 2017Updated 8 years ago
- An implementation of the MinHash algorithm in ruby using Murmur Hash☆26May 8, 2009Updated 16 years ago
- esa client library for API v1 written in golang☆13Aug 15, 2019Updated 6 years ago
- ☆23Jun 19, 2022Updated 3 years ago
- Another implemention fo miniKanren in Lua☆27Aug 28, 2019Updated 6 years ago
- A strongly-typed handy scripting language with type inference☆14Aug 31, 2018Updated 7 years ago
- Make your text clickable (Sublime Text 3)☆18Mar 21, 2014Updated 12 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 years ago
- Amazon MWS API client☆17Apr 5, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The first standards-compliant Scheme that runs in the browser.☆19Apr 4, 2019Updated 6 years ago
- A persistent queue implemented in Go.☆29Dec 31, 2021Updated 4 years ago
- CWL (and input file) parser for Golang, used by github.com/otiai10/yacle☆22Mar 19, 2019Updated 7 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 7 years ago
- Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL. Zero CGO.☆28Mar 16, 2026Updated last week
- Distributed version restore tool for S3☆12Jan 5, 2015Updated 11 years ago
- A Go package for myriad array operations using wavelet trees☆19Feb 28, 2016Updated 10 years ago