Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/lua-vr

Badges

Overview
Ranks
Repositories
Languages

Lua 🌸

@lua-vr

🇧🇷 Brasil

ICMC/USP

Profile age: over 12 years

Updated 10 days ago

26 followers • 43 following

Contacts

https://codeberg.org/luavr

Repositories

24

5

1

updated about 2 months ago • age over 3 years

Haskell89.1%

HTML7.9%

TeX3.0%

Archived

20

1

updated over 1 year ago • age almost 4 years

Haskell79.8%

Smarty20.2%

7

3

updated 28 days ago • age over 3 years

Haskell100.0%

pointwise-birkhoff

1

1

updated about 1 year ago • age over 1 year

Lean100.0%

1

0

updated about 1 year ago • age over 2 years

TypeScript100.0%

Contributions

2025
texlab
1 PR +4-1
Rust
1,823
64
79
sideline-flymake
1 PR +3-1
Emacs Lisp
31
10
2
2024
texlab
1 PR +23-24
Rust
1,823
64
79
2023
ema
3 PRs +394-163
Haskell
125
9
8
unionmount
1 PR +90-62
Haskell
12
3
3
2022
pandoc
~6 PRs +57-12
Haskell
39,643
3,656
150
doomemacs
1 PR +1-1
Emacs Lisp
21,138
3,130
ema
~6 PRs +39-252
Haskell
125
9
8
2020
Franklin.jl
1 PR +100-3
Julia
1,030
119
173
franklindocs
1 PR +4,115-500
HTML
4
15
1