# PLTools/OCanren

<https://repo.masters-masters.com/en/repos/PLTools/OCanren>

[Home](https://repo.masters-masters.com/en) › [PLTools](https://repo.masters-masters.com/en/owners/PLTools) › [OCanren](https://repo.masters-masters.com/en/repos/PLTools/OCanren)

PLTools/OCanren has 125 stars on GitHub. Its RepoMasters card: Prototype tier. Statically typed embedding of miniKanren relational programming language into…

| Field | Value |
| --- | --- |
| Owner | [PLTools](https://repo.masters-masters.com/en/owners/PLTools) |
| Stars | 125 |
| Forks | 18 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | LGPL-2.1 |
| Created | 2015 |
| Topics | minikanren, ocaml, relational-programming |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [PLTools/OCanren](https://github.com/PLTools/OCanren) |

## Repository

Statically typed embedding of miniKanren relational programming language into OCaml

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in OCaml

- [aprell/compiler-potpourri · ★ 126 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/aprell/compiler-potpourri)
- [copy/gdbprofiler · ★ 125 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/copy/gdbprofiler)
- [avsm/httpz · ★ 125 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/avsm/httpz)
- [ocaml-community/zed · ★ 124 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/ocaml-community/zed)
- [biocaml/biocaml · ★ 123 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/biocaml/biocaml)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.