Rankings
Badges
/
Mallku2
Rankings
Badges
Overview
Ranks
Repositories
Languages
Mallku Soldevila
@Mallku2
Refresh
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/
Repositories
lua-redex-model
9
0
updated over 5 years ago • age about 8 years
Racket
88.7%
Lua
11.3%
lua-gc-redex-model
2
1
updated over 3 years ago • age over 5 years
Racket
73.4%
Lua
26.0%
Makefile
0.6%
redex2coq
1
1
updated over 1 year ago • age almost 2 years
Coq
100.0%
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
