Ivory é uma linguagem de domínio específico incorporada (EDSL) que visa fornecer uma linguagem de programação em nível de sistema que remove algumas armadilhas comuns da programação em C, sem sacrificar a expressividade.
Este repositório inclui um guia do usuário e alguns exemplos de programas Ivory. Mais informações e tutoriais estão disponíveis em ivorylang.org.
O artigo a seguir descreve a linguagem Ivory:
Por favor, cite este artigo ao citar o idioma.
ivory : a implementação e intérprete da linguagem Ivoryivory-backend-c : um backend para compilar programas Ivory para Civory-examples : exemplos de programas Ivoryivory-opts : uma estrutura de otimização e algumas implementações de otimização, para o Ivory AST.ivory-bitdata : uma biblioteca de linguagem macro para especificar operações Ivory com precisão de bits.ivory-hw : uma biblioteca de linguagem macro para escrever drivers de hardware em Ivory.ivory-model-check : um backend para verificar programas Ivory com CVC4 Ivory é escrito em Haskell e usa várias extensões recentes do GHC. É conhecido por funcionar com GHC 7.8.* e superior.
Atualmente recomendamos o uso da ferramenta Stack build para pacotes de linguagem Ivory e quaisquer programas que os utilizem.
Direitos autorais 2013-2015 Galois, Inc.
Licenciado sob a licença BSD de 3 cláusulas; você não pode usar esta obra exceto em conformidade com a Licença. Uma cópia da Licença está incluída no arquivo LICENSE.
Este projeto segue o código de conduta do Contributor Covenant. Ao participar, espera-se que você cumpra este código. Por favor, relate comportamento inaceitável para [email protected].
