Mallku Soldevila

@Mallku2

Open GitHub

🇧🇷 Belo Horizonte, Brazil

Profile age: over 10 years

Updated 10 days ago

7 followers • 6 following

Contacts

mallkuernesto@gmail.com

mallku2.github.io/

Profile Overview

Global Brazil

Global Rank

Beginner 4

Persona

Creator

#850,253

#2,343,692

#1,649,788

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

lua-redex-model

updated over 5 years ago • age about 8 years

Racket88.7%

Lua11.3%

lua-gc-redex-model

updated over 3 years ago • age over 5 years

Racket73.4%

Lua26.0%

Makefile0.6%

redex2coq

updated over 1 year ago • age almost 2 years

Coq100.0%

Last Contributions

2025
ethos
3 PRs +19-20
C++
26
9
4
AletheInEunoia
2 PRs +315-68
3
1
2024
ethos
1 PR +18-18
C++
26
9
4

View all contributions

Latest Updates

22 Sep 2025
Followers Count:6 7
29 Apr 2025
Location:Córdoba, Argentina Belo Horizonte, Brazil
17 Jan 2025
First seen

Subscribe to Mallku2's GitHub rank updates in your messenger

WhatsApp Telegram