Badges

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

/lucasbazante

Badges

Overview
Ranks
Repositories
Languages

Lucas Bazante

@lucasbazante

🇧🇷 Natal - Brazil

Profile age: about 8 years

Updated 1 day ago

10 followers • 12 following

Repositories

1

0

updated 4 months ago • age 7 months

C++85.7%

Yacc10.3%

Lex3.3%

CMake0.6%

Contributions

2025
GlimpseOfLean
1 PR +1-1
Lean
273
104
2024
lpcp-lang
~11 PRs +11,587-10,209
Haskell
0
0