The aim of this project is to create a typesystem like haskell, which aids the developer by preventing type-related bugs. This project will help simplify the typesystem of javascript it by making it more strict.
The Open Code Quality Project offers Static Code Analyses as an free Online-Service for Open Source Code. Simply send your code, start the scan, receive the results.