Seax

Виртуальная машина на основе платформы для выполнения программ на языке функционального программирования.

Проект разделён на несколько отдельных грузовых ящиков Cargo, каждый со своим репозиторием Git:

• Прикладное приложение командной строки Seax (этот репозиторий)

  Командное приложение для компиляции программ в байт-код SVM, выполнения файлов байт-кода SVM и вызова интерпретатора Scheme либо для файлов исходного кода, либо в качестве REPL. Это позволяет писать отдельные компоненты системы в виде библиотек, а не исполняемых программ. Если будут разработаны дополнительные компиляторы, нацеленные на SVM, эта основная программа также может их вызывать. В этом репозитории также содержится основная документация и система отслеживания проблем для Seax.

• Виртуальная машина Seax (SVM)

  Ядро проекта, виртуальная машина для оценки программ байт-кода Seax. SVM основана на машине SECD, описанной Питером Ландином в 1963 году. Этот ящик содержит основную реализацию SECD, определения набора инструкций SVM и типов ячеек, а также библиотеку для кодирования и декодирования файлов байт-кода Seax. Распространяется как библиотека, чтобы её можно было включить в другие программы.

• Компилятор схемы Seax

  Интерпретатор/компилятор Scheme, ориентированный на виртуальную машину Seax. Эта реализация стремится соответствовать Пересмотренному отчёту о схеме (R6RS), когда это возможно, но может не быть совместимой реализацией. seax-scheme выпущен как библиотека, а не как исполняемый файл, чтобы его можно было включать в другие приложения, использующие Scheme в качестве встроенного языка.

• Утилиты Seax

  Набор инструментов для разработки и тестирования программного обеспечения.