GitHub - Kakadu/OCanren: Statically typed embedding of miniKanren relational programming language into Objective Caml

OCanren is a strongly-typed embedding of relational programming language miniKanren into OCaml. Nowadays, the implementation of OCanren strongly reminds faster-miniKanren. Previous implementation was based on microKanren with disequality constraints.

See installation instructions, API documentation for more details, and ReadTheDocs for detailed information.

OCanren is available in main OPAM repository

  opam install OCanren --yes

To try out developer version use

  opam pin add OCanren --dev-repo --yes

Name		Name	Last commit message	Last commit date
Latest commit History 1,255 Commits
.github		.github
add_timer		add_timer
camlp5		camlp5
config		config
doc		doc
ppx		ppx
regression		regression
regression_ppx		regression_ppx
samples		samples
src		src
test_eucpp		test_eucpp
tester		tester
.gitignore		.gitignore
CHANGES		CHANGES
LICENSE		LICENSE
META.OCanren.template		META.OCanren.template
Makefile		Makefile
OCanren-ppx.install		OCanren-ppx.install
OCanren-ppx.opam		OCanren-ppx.opam
OCanren.install		OCanren.install
OCanren.opam		OCanren.opam
README.md		README.md
dune		dune
dune-project		dune-project

Kakadu/OCanren