RedyLib is the collection of standard libraries included in the Redy platform. It is included in RedyCode.
GitHub