the1lab

global

Languages

1 total

Language	Repos	Stars	Global
all	1	348	117,485
Agda	1	348	9

Repos

1 total

	Repo	Language	Stars	Rank
	1lab	Agda	348	8

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/the1lab"><img alt="Check out the1lab's profile on stardev.io" src="https://stardev.io/developers/the1lab/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-11-01T16:10:09.671897068Z Re-sync