Pipcore est un projet open source dédié à la création de noyaux de système d'exploitation. Il fournit des outils pour le développement d'interfaces entre Coq et C, la gestion de la mémoire avec le Memory Abstraction Layer et le développement de partitions pour les architectures spécifiques. Le projet est couvert par la licence CeCILL-A.