Performant type-checking for python.
Pyre is a performant type checker for Python that complies with PEP 484 and can analyze large codebases incrementally, providing instant feedback to developers as they write code. It includes Pysa, a security-focused static analysis tool for reasoning about data flows in Python applications. Pyre is designed for Python developers who want to catch type errors early and improve code quality, especially in large projects.
How the donated funds are distributed
Kivach works on the Obyte network, and therefore you can track all donations.