advancedresearch

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	63	811	55,749	15	15
Rust	51	768	1,492	2	2
unknown	8	29	61,027	8	8
TeX	2	10	7,010	2	2
Python	1	2	794,872	72	44
Coq	1	2	886	1	1

Repos

63 total

Repo	Language	Stars	Rank
path_semantics	Rust	158	5,458
poi	Rust	136	6,037
avalog	Rust	64	10,380
prop	Rust	58	11,118
monotonic_solver	Rust	44	13,496
pocket_prover	Rust	35	15,709
mix_economy	Rust	33	16,363
linear_solver	Rust	32	16,651
tree_mem_sort	Rust	24	20,101
quickbacktrack	Rust	22	21,505

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

Preview

Last updated: 2024-04-22T17:55:05.110290992Z Re-sync