pirapira

Languages

14 total

Language	Repos	Stars	Global	Country	Locality
all	50	2,111	24,065	107	8
unknown	16	1,160	3,405	8	1
OCaml	4	544	83	1	1
Isabelle	3	241	4	1	1
Coq	3	88	67	1	1
Ruby	3	52	9,505	37	6
Verilog	4	7	2,597	11	2
HTML	2	6	105,259	279	17
JavaScript	3	5	384,332	1,035	52
Haskell	5	4	7,060	32	2
Rust	3	3	42,878	191	10
Python	1	1	1,320,724	2,633	100
LLVM	1	0	-	-	-
C	1	0	-	-	-
CSS	1	0	-	-	-

Repos

50 total

Repo	Language	Stars	Rank
awesome-ethereum-virtual-machine	unknown	827	4,625
bamboo	OCaml	324	107
ethereum-formal-verification-overview	unknown	296	11,228
eth-isabelle	Isabelle	233	4
coq2rust	OCaml	216	174
evmverif	Coq	44	126
dry-analyzer	Coq	42	134
vmtrace_visualizer	Ruby	35	16,255
ethereum-word-list	unknown	22	82,628
gohantabeyo	Ruby	15	30,867

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

Preview

Last updated: 2024-04-19T13:01:22.961209414Z Re-sync