8000 GitHub - PLTools/OCanren at gh-pages
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

PLTools/OCanren

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

27 Commits
api
api
 
 
rtfd
rtfd
 
 
.nojekyll
.nojekyll
 
 

About

Statically typed embedding of miniKanren relational programming language into OCaml

Topics

ocaml minikanren relational-programming

License

LGPL-2.1 license
Activity
Custom properties

Stars

118 stars

Watchers

10 watching

Forks

18 forks
Report repository

Releases 2

0.2.0 Latest
Mar 4, 2021
+ 1 release

Packages

No packages published

Contributors 8

Languages
0