47,133 repositories indexed
1–7 of 7 · Most stars
Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.14. You feed it your Python app, it does a lot of clever things, and spits out an executable or extension module.
Event-driven networking engine written in Python.
Make your functions return something meaningful, typed, and safe!
Mypy static type checker plugin for Pytest
Plugin for mypy to support zope.interface
Tool for suggesting lemma names in Coq verification projects
A Single Library Parser to extract meta information,static analysis and detect macros within the files.