Popular repositories Loading

1. lua-redex-model lua-redex-model Public

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

   Racket 10

2. lua-gc-redex-model lua-gc-redex-model Public

   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 1

3. luasafe-redex luasafe-redex Public

   Mechanization in Redex of LuaSafe

   Racket 2

4. mallku2.github.io mallku2.github.io Public

   CSS 1

5. PLN-2015 PLN-2015 Public

   Forked from PLN-FaMAF/PLN-2015

   Python

6. redex2coq redex2coq Public

   Source code of redex2coq.

   Coq 1