This is still an experimental, pure python backend for the idris2 compiler based on the javascript backend. Just like the javascript backend, it generates a single python file. In the misc folder, ...

Pure Python, cross-platform - no native Mac APIs are used. Provides both a Python API (for use in programs and in the REPL) and a command-line tool (for quick inspection of files from the command line ...

Now you can have Cython’s speed boost without its cumbersome syntax, using the pure Python syntax you know and love. Cython has long been one of the great secret weapons of Python performance, letting ...

Long in development, the new major release of the Python-to-C compiler sheds legacy Python support and readies Cython developers for big changes in Python. The main goal behind Cython is to make it ...