Ravi is an experimental derivative/dialect of `Lua <http://www.lua.org>`_. Ravi is a Sanskrit word that means …
https://github.com/dibyendumajumdar/ravi.git
(1e894b3071fc292651534d836a76ec6193cb846a)