About the ZX BASIC Project
ZX BASIC is a BASIC ''cross compiler''. It will compile BASIC programs (in your PC) for your ZX Spectrum. ZX BASIC is an SDK entirely written in python. The SDK is implemented using the PLY (Python Lex/Yacc) compiler tool. It translates BASIC to Z80 assembler code, so it is easily portable to other Z80 platforms (Amstrad, MSX). Other non Z80 targets could also be available in the future.
Since it is written in python, it is available for many platforms, like Windows, Linux and Mac. You only need to have python installed on these. For windows, there also is an installable (.MSI) compiled version, which does not need python previously installed.