# LPCIC/coq-elpi

<https://repo.masters-masters.com/en/repos/LPCIC/coq-elpi>

[Home](https://repo.masters-masters.com/en) › [LPCIC](https://repo.masters-masters.com/en/owners/LPCIC) › [coq-elpi](https://repo.masters-masters.com/en/repos/LPCIC/coq-elpi)

LPCIC/coq-elpi has 198 stars on GitHub. Its RepoMasters card: Prototype tier. Rocq plugin embedding Elpi Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [LPCIC](https://repo.masters-masters.com/en/owners/LPCIC) |
| Stars | 198 |
| Forks | 80 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | LGPL-2.1 |
| Created | 2017 |
| Topics | coq, metaprogramming, extension-language, lambda-prolog, scripting |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [LPCIC/coq-elpi](https://github.com/LPCIC/coq-elpi) |

## Repository

Rocq plugin embedding Elpi

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

## More repos by LPCIC

- [LPCIC/elpi · ★ 382 · Prolog · Alpha](https://repo.masters-masters.com/en/repos/LPCIC/elpi)

## Nearby in OCaml

- [patoline/patoline · ★ 200 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/patoline/patoline)
- [OCamlPro/drom · ★ 200 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/OCamlPro/drom)
- [janestreet/sexplib · ★ 198 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/janestreet/sexplib)
- [mransan/ocaml-protoc · ★ 196 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/mransan/ocaml-protoc)
- [janestreet/ppx\_expect · ★ 196 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/janestreet/ppx_expect)
- [yallop/higher · ★ 195 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/yallop/higher)

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