#

minikanren

Here are 4 public repositories matching this topic...

xieyuheng / exo

logic programming in elixir

elixir minikanren logic-programming microkanren the-reasoned-schemer

Updated Nov 1, 2018
Elixir

shouya / ckini

A miniKanren implementation in Elixir

elixir minikanren macro

Updated Jan 2, 2023
Elixir

program-in-chinese / flo

一种可读的编程语言/DSL。别名beat/bit

nlp programming-language rust flow flash erlang sql fsharp dsl regex natural-language prolog minikanren wasm forth chinese apl qim

Updated Dec 9, 2018
Elixir

xavdid / seven-more-languages

My solutions to the exercises in "Seven More Languages in Seven Weeks"

elixir lua elm julia factor minikanren idris

Updated Feb 24, 2023
Elixir

Improve this page

Add a description, image, and links to the minikanren topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the minikanren topic, visit your repo's landing page and select "manage topics."