A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
Repository Index
77,353 visible repositories in the index
1–5 of 5 · Most stars
Home of the Rockstar programming language
A Proof-oriented Programming Language
- programming-language
- verification
- dependent-types
- smt
Starlark Language
Starlark in Go: the Starlark configuration language, implemented in Go