Etylizer ist ein statischer Typchecker für die Programmiersprache Erlang. Im vorgelegten Projekt soll untersucht werden, inwiefern die Laufzeit des Typcheckers durch einen
Compilation-Manager verbessert werden kann. Außerdem soll die Exaktheit des Typcheckers durch Verbezsserung der Typannotation in der Standardlibrary von Erlang erhöht werden. Die
Ergebnisse des Projekts werden unter einer open source Lizenz veröffentlicht.