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
(3b6d8add90eec62a5e9e07fccbf4cf50e58e3ea3)