Mallku2/lua-redex-model Mallku2/lua-redex-model

  • Stars
    star
    10
  • Rank 1,773,153 (Top 36 %)
  • Language
    Racket
  • Created almost 7 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Mallku2/lua-redex-model
github

Mallku2

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

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
2

luasafe-redex

Mechanization in Redex of LuaSafe
Racket
2
star
3

mallku2.github.io

CSS
1
star