PLTools / OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

PLTools
PLTools
Date Created 2015-09-22 (9 years ago)
Commits 1,357 (last one 5 days ago)
Stargazers 116 (0 this week)
Watchers 10 (0 this week)
Forks 19
License lgpl-2.1
Ranking

RepositoryStats indexes 631,351 repositories, of these PLTools/OCanren is ranked #276,757 (56th percentile) for total stargazers, and #200,559 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #310/730.

PLTools/OCanren is also tagged with popular topics, for these it's ranked: ocaml (#154/297)

Other Information

PLTools/OCanren has 1 open pull request on Github, 160 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 5 open issues and 2 closed issues.

There have been 2 releases, the latest one was published on 2021-03-04 (4 years ago)

Star History

Github stargazers over time

12012010010080806060404020200020162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

121212121111111111111010101020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

184 commits on the default branch (master) since jan '22

200200180180160160140140120120100100808060604040202000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

300300250250200200150150100100505000201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
776655443322110020222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

The primary language is OCaml but there's also others...

OCamlOCamlDuneDuneMakefileMakefileSmartySmarty

updated: 2025-03-21 @ 02:01am, id: 42967124 / R_kgDOAo-gVA