Mallku2/luasafe-redex Mallku2/luasafe-redex

  • Stars
    star
    2
  • Language
    Racket
  • License
    GNU General Publi...
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Mallku2/luasafe-redex
github

Mallku2

Reviews

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

Repository Details

Mechanization in Redex of LuaSafe

More 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

mallku2.github.io

CSS
1
star