PrototypeCommon
LPCIC/coq-elpi
Rocq plugin embedding Elpi
- Owner
- LPCIC (organization)
- Stars
- Stars: 197
- Forks
- Forks: 80
- Language
- OCaml
- License
- LGPL-2.1
- Created
- 2017
- Topics
- coqmetaprogrammingextension-languagelambda-prologscripting
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by LPCIC
All 2 repos by LPCIC- LPCIC/elpiStars: 382PrologAlpha
Nearby in OCaml
All OCaml repos- patoline/patolineStars: 200OCamlPrototype
- OCamlPro/dromStars: 200OCamlPrototype
- janestreet/sexplibStars: 198OCamlPrototype
- mransan/ocaml-protocStars: 196OCamlPrototype
- janestreet/ppx_expectStars: 196OCamlPrototype
- yallop/higherStars: 195OCamlPrototype