bugarela

Languages

16 total

Language	Repos	Stars	Global	Country	Locality
all	39	159	197,546	2,432	17
Elixir	2	73	1,083	21	1
Haskell	6	20	2,697	22	1
TeX	3	16	4,781	79	2
Python	7	12	219,124	2,751	20
Emacs Lisp	2	9	3,077	36	1
unknown	5	7	182,260	4,092	21
C++	4	6	115,345	1,308	7
JavaScript	1	5	367,086	12,304	79
Ruby	2	3	58,005	1,469	17
Java	1	2	372,790	12,258	62
Coq	1	1	1,044	20	1
C	1	1	273,574	6,720	39
TypeScript	1	1	357,572	24,058	148
CSS	1	1	317,775	17,720	91
HTML	1	1	749,397	31,852	157
PowerShell	1	1	22,713	358	4

Repos

39 total

Repo	Language	Stars	Rank
tla-transmutation	Elixir	70	1,302
bachelor-thesis	TeX	13	5,977
GADTInference	Haskell	6	10,093
tipos	Haskell	6	9,929
dotfiles	Emacs Lisp	5	7,929
omnistack-11	JavaScript	5	472,830
SpotiBot	Python	4	677,372
tla-input	Emacs Lisp	4	8,477
Tableaux	Haskell	3	17,008
OutsideIn	Haskell	3	16,420

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

Preview

Last updated: 2024-05-26T19:17:32.390194338Z Re-sync