ivory

象牙

Ivory 是一種嵌入式領域特定語言 (EDSL)，旨在提供一種系統級程式語言，消除 C 程式設計的一些常見陷阱，同時又不犧牲表達能力。

該存儲庫包括用戶指南和一些 Ivory 程式範例。更多資訊和教程請訪問 ivorylang.org。

以下論文描述了象牙語：

• 特雷弗·艾利奧特、李·派克、西蒙·溫伍德、派特·希基、詹姆斯·貝爾曼、傑米·夏普、艾瑞克·塞德爾、約翰·朗伯里。無罪象牙。哈斯克爾研討會，2015 年。

引用語言時請註明本文。

內容

• ivory ：象牙語言實作與解釋器
• ivory-backend-c ：將 Ivory 程式編譯為 C 的後端
• ivory-examples ：範例 Ivory 程式
• ivory-opts ：針對 Ivory AST 的最佳化框架和一些最佳化實作。
• ivory-bitdata ：用於指定位元精確 Ivory 操作的巨集語言庫。
• ivory-hw ：用於以 Ivory 編寫硬體驅動程式的巨集語言函式庫。
• ivory-model-check ：使用 CVC4 驗證 Ivory 程式的後端

安裝中

Ivory 是用 Haskell 編寫的，並使用了幾個最新的 GHC 擴充。已知它可以與 GHC 7.8.* 及更高版本一起使用。

目前，我們建議對 Ivory 語言套件以及任何使用它們的程式使用 Stack 建置工具。

版權和許可

版權所有 2013-2015 Galois, Inc.

根據 BSD 3-Clause License 獲得許可；除非遵守許可，否則您不得使用本作品。許可證文件中包含許可證的副本。

貢獻

該項目遵守貢獻者契約行為準則。透過參與，您應該遵守此準則。請將不可接受的行為回報至 [email protected]。