LPCIC/coq-elpi

Rocq plugin embedding Elpi

OCaml190 stars74 forksLGPL-2.1

coqextension-languagelambda-prologmetaprogrammingscripting

Rankings

Daily

#10288

Weekly

#14059

Monthly

#12653

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/LPCIC/coq-elpi.svg)

HTML

<img src="https://trending-repos.com/badge/LPCIC/coq-elpi.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/LPCIC/coq-elpi.svg