Ivory est un langage spécifique à un domaine intégré (EDSL) qui vise à fournir un langage de programmation au niveau système qui supprime certains pièges courants de la programmation en C, sans sacrifier l'expressivité.
Ce référentiel comprend un guide de l'utilisateur et quelques exemples de programmes Ivory. Plus d’informations et des tutoriels sont disponibles sur ivorylang.org.
L'article suivant décrit la langue ivoire :
Veuillez citer cet article lorsque vous citez la langue.
ivory : l'implémentation et l'interprète du langage Ivoryivory-backend-c : un backend pour compiler les programmes Ivory en Civory-examples : exemples de programmes Ivoryivory-opts : un cadre d'optimisation et quelques implémentations d'optimisation, pour l'AST Ivory.ivory-bitdata : une bibliothèque de langage de macro pour spécifier des opérations Ivory au bit précis.ivory-hw : une bibliothèque de langages de macros pour écrire des pilotes matériels en Ivory.ivory-model-check : un backend pour vérifier les programmes Ivory avec CVC4 Ivory est écrit en Haskell et utilise plusieurs extensions GHC récentes. Il est connu pour fonctionner avec GHC 7.8.* et supérieur.
Nous recommandons actuellement d'utiliser l'outil de construction Stack pour les packages de langage Ivory et tous les programmes qui les utilisent.
Copyright 2013-2015 Galois, Inc.
Sous licence BSD à 3 clauses ; vous ne pouvez pas utiliser cette œuvre sauf en conformité avec la licence. Une copie de la Licence est incluse dans le fichier LICENSE.
Ce projet adhère au code de conduite Contributor Covenant. En participant, vous êtes censé respecter ce code. Veuillez signaler tout comportement inacceptable à [email protected].
