Ivory — это встроенный предметно-ориентированный язык (EDSL), целью которого является создание языка программирования системного уровня, который устраняет некоторые распространенные ошибки программирования на C, не жертвуя при этом выразительностью.
Этот репозиторий включает руководство пользователя и несколько примеров программ Ivory. Дополнительную информацию и учебные пособия можно найти на сайте ivorylang.org.
В следующей статье описывается язык слоновой кости:
Пожалуйста, ссылайтесь на эту статью при цитировании языка.
ivory : реализация и интерпретатор языка Ivory.ivory-backend-c : бэкэнд для компиляции программ Ivory на C.ivory-examples : примеры программ Ivoryivory-opts : структура оптимизации и некоторые реализации оптимизации для Ivory AST.ivory-bitdata : библиотека макроязыка для определения операций Ivory с побитовой точностью.ivory-hw : библиотека макроязыка для написания драйверов оборудования на языке Ivory.ivory-model-check : бэкэнд для проверки программ Ivory с помощью CVC4. Ivory написан на Haskell и использует несколько последних расширений GHC. Известно, что он работает с GHC 7.8.* и выше.
В настоящее время мы рекомендуем использовать инструмент сборки Stack для языковых пакетов Ivory и любых программ, которые их используют.
Авторские права принадлежат Galois, Inc., 2013–2015 гг.
Лицензия BSD с 3 пунктами; вы не можете использовать эту работу, кроме как в соответствии с Лицензией. Копия лицензии включена в файл ЛИЦЕНЗИИ.
Этот проект соответствует кодексу поведения участников Соглашения. Ожидается, что, участвуя, вы будете соблюдать этот кодекс. Пожалуйста, сообщите о неприемлемом поведении по адресу [email protected].
