gominikanren

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

OTHER License

Stars
35
View Code on GitHub View on X
Ecosystems: Go

Issue Statistics

Past Year

All Time

Total Pull Requests
0
38
Merged Pull Requests
0
37
Total Issues
0
3
Time to Close Issues
N/A
over 2 years
Package Rankings
Top 8.17% on Proxy.golang.org
Badges
Extracted from project README
Build Status
Related Projects
goderive

Derives and generates mundane golang functions that you do not want to maintain yourself

10 Feb 2017 1,231
gopher-reading-list

A curated selection of blog posts on Go

21 Feb 2018 7,861
gop

The Go+ programming language is designed for engineering, STEM education, and data science

12 Dec 2015 8,776
go

I incorporate these code snippets into my larger programming modules.

02 Aug 2017 40
golang-examples

Go(lang) examples - (explain the basics of #golang)

15 Apr 2013 1,556
gocaml

Statically typed functional programming language implementation with Go and LLVM

25 Jan 2017 747
zygomys

Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct tr...

10 Jan 2016 1,711
gomacro

Interactive Go interpreter and debugger with REPL, Eval, generics and Lisp-like macros

15 Feb 2017 2,171
GoCore

Package api provides an API router and controller Registry to route controller api's.

13 Apr 2016 12
go-exercises

Go Exercises and Questions

25 Jun 2022 182