Awesome
This repository contains zlib 1.2.8 from Jean-loup Gailly and Mark Adler, and patches to make this library free of undefined behavior according to tis-interpreter's definition. The changes are implemented as successive atomic commits, and can be used as a tutorial on how to interpret legacy code in tis-interpreter.
The original zlib 1.2.8 README is here.