~omasanori/pravda

An experimental Scheme compiler
c842f781 — Masanori Ogino 6 months ago
A New Vision. A New Project.

refs

main
browse  log 

clone

read-only
https://git.sr.ht/~omasanori/pravda
read/write
git@git.sr.ht:~omasanori/pravda

You can also use your local clone with git send-email.

#Pravda Scheme

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.

#Prerequisites

  • Chibi-Scheme
  • Clang or GCC
    • By default, Pravda assumes that cc is an alias of the preferred one.
    • Apple GCC distributed as part of Xcode is untested.

#License

Unless otherwise noted, Pravda Scheme is licensed under GPLv2+ with the Classpath exception.

#Acknowledgments

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.