gallais

Languages

8 total

Language	Repos	Stars	Global	Country	Locality
all	37	636	68,132	2,458	25
Agda	17	420	6	3	2
Idris	5	138	18	2	1
unknown	2	31	57,617	1,654	23
Makefile	1	23	2,373	104	3
Haskell	9	18	2,861	174	6
Emacs Lisp	1	3	5,476	199	4
OCaml	1	2	3,484	190	4
Lua	1	1	54,003	1,416	22

Repos

37 total

Repo	Language	Stars	Rank
agdarsec	Agda	120	18
idris-tparsec	Idris	93	25
generic-syntax	Agda	67	32
potpourri	Agda	52	48
agda-sizedIO	Agda	33	82
aGdaREP	Agda	31	85
agda-presburger	Agda	30	86
typing-with-leftovers	Agda	28	95
pearl-binary-search	Idris	28	86
agda-nbe	unknown	25	75,574

Badges

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

Global Country Locality

Global

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

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

Preview

Country

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

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

Preview

Locality

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

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

Preview

Last updated: 2024-04-12T00:24:41.943424115Z Re-sync