地址:https://wiki.python.org/moin/PythonImplementations?action=show&redirect=implementation
An "implementation" of Python should be taken to mean a program or environment which provides support for the execution of programs written in the Python language, as represented by the CPython reference implementation.
There have been and are several distinct software packages providing of what we all recognize as Python, although some of those are more like distributions or variants of some existing implementation than a completely new implementation of the language.
These are implementations based on the CPython runtime core (the de-facto reference Python implementation), but with extended behaviour or features in some aspects.
CrossTwine Linker - a combination of CPython and an add-on library offering improved performance (currently proprietary)
Stackless Python - CPython with an emphasis on concurrency using tasklets and channels (used by dspython for the Nintendo DS)
unladen-swallow - "an optimization branch of CPython, intended to be fully compatible and significantly faster", originally considered for merging with CPython subject to PEP 3146, but now unmaintained
wpython - a re-implementation of CPython using "wordcode" instead of bytecode
MicroPython - Python for micro controllers (runs on the pyboard and the BBC Microbit)
eGenix PyRun - Python runtime (CPython + std library) compressed into a single 3-4MB binary
Also look at the sections on Python compilers and extensions below, some of which would qualify as CPython variants.
These are re-implementations of the Python language that do not depend on (or necessarily interact with) the CPython runtime core. Many of them reuse (a large part of) the standard library implementation.
Note that most of these projects have not yet achieved language compliance. However, many of these have goals and features or run in certain environments that make them interesting in their own regard. The only implementations that are known to be compatible with a given version of the language are IronPython, Jython and PyPy.
The following implementations may be comprehensive or even complete, but at the very least can be said to be working in that you can run typical programs with them already:
Brython - a way to run Python in the browser through translation to JavaScript
CLPython - Python in Common Lisp
HotPy - a virtual machine for Python supporting bytecode optimisation and translation (to native code) using type information gathered at run-time
IronPython - Python in C# for the Common Language Runtime (CLR/.NET) and the FePy project's IronPython Community Edition (IPCE)
Jython - Python in Java for the Java platform
pyjs - (formally Pyjamas) a Python to JavaScript compiler plus Web/GUI framework
PyMite - Python for embedded devices
PyPy - Python in Python, targeting several environments
pyvm - a Python-related virtual machine and software suite providing a nearly self-contained "userspace" system
RapydScript - a Python-like language that compiles to JavaScript
SNAPpy - "a subset of the Python language that has been optimized for use in low-power embedded devices" (apparently proprietary)
tinypy - a minimalist implementation of Python in 64K of code
Transcrypt - Python 3.6 to JavaScript precompiler with lean and fast generated code, sourcemaps, built-in minification, optional static typechecking, JSX support
The following implementations are apparent works in progress; they may not be able to run typical programs:
Berp - an implementation of Python 3 in Haskell, providing an interactive environment as well as a compiler
phpython - a Python interpreter written in PHP
Pyjaco - a Python to JavaScript compiler similar to Pyjs but lighterweight
Pystacho is, like Skulpt, Python in JavaScript
pyvm2.py - a CPython bytecode interpreter written in Python, mentioned on the PyPy mailing list in 2003
Skulpt - Python in JavaScript
Typhon - a Rubinius-based implementation of Python
These are typically part of CPython (or some other implementation) but change the implementation's behaviour:
Psyco - a just-in-time specialising compiler for CPython
These compilers usually implement something close to Python, although some compilers may impose restrictions that alter the nature of the language:
2c-python - a static Python-to-C compiler, apparently translating CPython bytecode to C
Compyler - an attempt to "transliterate the bytecode into x86 assembly" (now abandoned)
Cython - a widely used optimising Python-to-C compiler, CPython extension module generator, and wrapper language for binding external libraries. Interacts with CPython runtime and supports embedding CPython in stand-alone binaries.
GCC Python Front-End - an in-progress effort to compile Python code within the GCC infrastructure
Nuitka - a Python-to-C++ compiler using libpython at run-time, attempting some compile-time and run-time optimisations. Interacts with CPython runtime.
Pyc - performs static analysis in order to compile Python programs, uses similar techniques to Shed Skin
Shed Skin - a Python-to-C++ compiler, restricted to an implicitly statically typed subset of the language for which it can automatically infer efficient types through whole program analysis
unPython - a Python to C compiler using type annotations
VOC - A transpiler that converts Python bytecode into Java bytecode.
Copperhead - purely functional data-parallel Python, compiles to multi-core and GPU backends
Numba - NumPy-aware optimizing runtime compiler for Python
Parakeet - runtime compiler for a numerical subset of Python
These languages don't attempt to be directly compatible even with a subset of Python, choosing to provide their own set of features:
Alore - a compilable language with optional typing and Python/Ruby inspired syntax; an Alore-Python bridge is planned; development effort has been transferred to mypy (see below)
Boo
Cobra
Converge - inspired by Python, Haskell, Icon and Smalltalk, provides macros which can be evaluated at compile-time
Delight - based on the D programming language
Genie - based on the same foundations (Gtk+, GNOME) as the Vala programming language, supposedly inspired by Boo
mypy - Python with optional static typing and some local type inference
Mython - an extensible variant of the Python programming language, apparently a front-end for CPython
Nim - statically typed, compiles to C, C++, and JS, features parameterised types, macros, and so on
Pythonect - a dataflow-oriented language adopting the basic Python expression syntax, implemented in Python and integrated with the Python environment
Roket Secured Language - an interpreter for a Python-like language for applications where "restricted Python" execution is desired
Serpent - inspired by Python, supporting real-time garbage collection and multiple virtual machines in separate threads (more information)
Serpentine - a language with Python-like syntax for the Dalvik virtual machine
Trylon - inspired heavily by Smalltalk
Wirbel - a compilable language with similar restrictions to Shed Skin (statically typed names, lists cannot mix elements of different types), no longer actively developed as of 2011-07-21
Comparisons:
Comparisons of Genie and Wirbel and Genie and Python by the lead developer of the Puppy Linux distribution
Some Genie code samples indicating the differences between that language and other Python variants
EmbeddedPython
PythonDistributions
There are even some tongue-in-cheek dialects of Python which you might find fun.
Like, Python
LOLPython
Python implementations and compilers have been the topic of various papers and theses. Those that have not apparently been developed further are listed here:
QGen : A Python to Qt/C++ translator - a simple translator described in a master's thesis from 2004
Starkiller - a Python to C++ translator described, along with a review of contemporary tools, in a master's thesis from 2004 (author's site)