Benchmark several type systems and ways to build them (right now Typescript and Flow) - View it on GitHub