Pravda Scheme is an optimizing compiler of the Scheme programming language. Pravda is currently in the planning phase. The first milestone is supporting the most, if not all, of the IEEE 1178-1990 standard. The compiler will be extended to support R5RS, R6RS and R7RS then.
ccis an alias of the preferred one.
Unless otherwise noted, Pravda Scheme is licensed under GPLv2+ with the Classpath exception.
We thank Jeffrey Mark Siskind for his briliant work on the Stalin compiler after which we named this project.
We thank Abdulaziz Ghuloum and Jeremy G. Siek for their works on incremental approach to compiler construction developed in the compiler course at Indiana University.