# GitHub repos by LPCIC [Home](https://repo.masters-masters.com/en) › [LPCIC](https://repo.masters-masters.com/en/owners/LPCIC) All 2 public GitHub repos by LPCIC in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by LPCIC 2 public repos by LPCIC in the catalog, most starred first. - [LPCIC/elpi · ★ 382 · Prolog · Alpha](https://repo.masters-masters.com/en/repos/LPCIC/elpi) - [LPCIC/coq-elpi · ★ 197 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/LPCIC/coq-elpi) ## See LPCIC on GitHub - [https://github.com/LPCIC](https://github.com/LPCIC) --- Data: GitHub