TypeScript
All libraries listen at With Ease are going to provide first-class support of TypeScript types. They are written in TypeScript, and includes type-tests. However, TypeScript itself does not aim for apply a sound or "provably correct" type system, instead it strikes a balance between correctness and productivity. So, we cannot guarantee that all the types are correct, but we are going to do our best to provide the best possible types.