trvedata

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	8	186	178,605	6,433	251
TeX	3	102	1,101	37	4
Java	2	41	36,385	914	31
JavaScript	1	30	98,118	3,554	66
Isabelle	1	12	37	5	2
unknown	1	1	1,777,292	25,048	720

Repos

8 total

Repo	Language	Stars	Rank
crdt-isabelle	TeX	67	1,516
trvesync	JavaScript	30	125,723
trvedb	Java	25	65,752
move-op	TeX	24	3,701
key-agreement	Java	16	88,749
opsets	Isabelle	12	37
json-crdt-tpds	TeX	11	6,985
trvedb-client	unknown	1	2,280,749

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

Preview

Last updated: 2024-06-10T19:42:34.802039913Z Re-sync