GitHub repository: sarvex/gologic
Primary language: Go
Description: toy minikanren impl in Go lang