GitHub - griels/pypy-sc: Standalone RPython compiler, fork of PyPy

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 30,984 Commits
ctypes_configure		ctypes_configure
demo		demo
dotviewer		dotviewer
lib-python		lib-python
pypy		pypy
LICENSE		LICENSE
README		README
README.pypy		README.pypy

Repository files navigation

PyPy-StandaloneCompiler

- Fork of PyPy, the Python in Python implementation
- Research experiment.
- Compiles general RPython programs to C or Java byte-code
- Aimed at embedded devices.
- Aimed at multithreaded programs.
- Support for formal verification by Java Pathfinder
- The compiled program has to utilize a special library called parlib, see https://github.com/paskma/framework-parlib.
- See the installation guide at 
  http://www.kiv.zcu.cz/site/documents/verejne/vyzkum/publikace/technicke-zpravy/2012/tr-2012-09.pdf