Ivory adalah bahasa khusus domain tertanam (EDSL) yang bertujuan untuk menyediakan bahasa pemrograman tingkat sistem yang menghilangkan beberapa kendala umum pemrograman di C, tanpa mengorbankan ekspresivitas.
Repositori ini mencakup panduan pengguna dan beberapa contoh program Ivory. Informasi dan tutorial lebih lanjut tersedia di ivorylang.org.
Makalah berikut menjelaskan bahasa Gading:
Silakan kutip makalah ini ketika mengutip bahasanya.
ivory : implementasi dan penerjemah bahasa Ivoryivory-backend-c : backend untuk mengkompilasi program Ivory ke Civory-examples : contoh program Ivoryivory-opts : kerangka pengoptimalan dan beberapa implementasi pengoptimalan, untuk Ivory AST.ivory-bitdata : perpustakaan bahasa makro untuk menentukan operasi Ivory dengan presisi bit.ivory-hw : perpustakaan bahasa makro untuk menulis driver perangkat keras di Ivory.ivory-model-check : backend untuk memverifikasi program Ivory dengan CVC4 Ivory ditulis dalam Haskell dan menggunakan beberapa ekstensi GHC terbaru. Ia diketahui dapat digunakan dengan GHC 7.8.* dan yang lebih baru.
Saat ini kami merekomendasikan penggunaan alat Stack build untuk paket bahasa Ivory dan program apa pun yang menggunakannya.
Hak Cipta 2013-2015 Galois, Inc.
Berlisensi di bawah Lisensi 3-Klausul BSD; Anda tidak boleh menggunakan karya ini kecuali sesuai dengan Lisensi. Salinan Lisensi disertakan dalam file LISENSI.
Proyek ini mematuhi kode etik Perjanjian Kontributor. Dengan berpartisipasi, Anda diharapkan menjunjung tinggi kode ini. Silakan laporkan perilaku yang tidak dapat diterima ke [email protected].
