Mallku Soldevila (@Mallku2)
github

Mallku2

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,430 (Top 26 %)
  • Followers 4
  • Following 6
  • Registered over 9 years ago
  • Most used languages
    Racket
         75.0 %
    CSS
         25.0 %
  • Location 🇦🇷 Argentina
  • Country Total Rank 2,378
  • Country Ranking
    Racket
         1
    CSS
         1,011

Top repositories

1

lua-redex-model

Mechanization in PLT Redex of the Lua's semantics described in "Decoding Lua: Formal Semantics for the Developer and the Semanticist"
Racket
10
star
2

lua-gc-redex-model

This is the mechanization of the semantics presented in "Decoding Lua: Formal Semantics for the Developer and the Semanticist", extended with garbage collection.
Racket
3
star
3

luasafe-redex

Mechanization in Redex of LuaSafe
Racket
2
star
4

mallku2.github.io

CSS
1
star