Pinned Repositories
bapl1-class-language
Building a Programming Language - Class Language
lua
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
luac
Experiments with the lua bytecode format that grew to be the luac command line tool
manual
Manual in "our format"
tests
Coq-Unboxing
Formalization for the unboxing paper
LPeg
Irregularly mirrored copy of the LPeg repo. Please DO NOT send pull requests. Send all comments to the Lua discussion list.
roberto
Collaboration with Roberto Ierusalimschy
roberto-ieru's Repositories
roberto-ieru/LPeg
Irregularly mirrored copy of the LPeg repo. Please DO NOT send pull requests. Send all comments to the Lua discussion list.
roberto-ieru/Coq-Unboxing
Formalization for the unboxing paper