LPCIC

global

Languages

5 total

Language	Repos	Stars	Global
all	6	407	97,986
Prolog	1	260	18
OCaml	2	136	303
JavaScript	1	8	268,872
unknown	1	3	430,352
HTML	1	0	-

Repos

6 total

Repo	Language	Stars	Rank
elpi	Prolog	260	14
coq-elpi	OCaml	125	301
matita	OCaml	11	2,820
elpi-lang	JavaScript	8	330,466
coq-elpi-lang	unknown	3	435,638
coq-elpi-www	HTML	0	-

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/LPCIC"><img alt="Check out LPCIC's profile on stardev.io" src="https://stardev.io/developers/LPCIC/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-05-16T22:36:11.975332539Z Re-sync