PrototypeCommune
LPCIC/coq-elpi
Rocq plugin embedding Elpi
- Propriétaire
- LPCIC (organisation)
- Étoiles
- Étoiles : 197
- Forks
- Forks : 80
- Langage
- OCaml
- Licence
- LGPL-2.1
- Création
- 2017
- Sujets
- coqmetaprogrammingextension-languagelambda-prologscripting
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de LPCIC
Les 2 dépôts de LPCIC- LPCIC/elpiÉtoiles : 382PrologAlpha
D’autres dépôts OCaml
Tous les dépôts OCaml- patoline/patolineÉtoiles : 200OCamlPrototype
- OCamlPro/dromÉtoiles : 200OCamlPrototype
- janestreet/sexplibÉtoiles : 198OCamlPrototype
- mransan/ocaml-protocÉtoiles : 196OCamlPrototype
- janestreet/ppx_expectÉtoiles : 196OCamlPrototype
- yallop/higherÉtoiles : 195OCamlPrototype