open-ontologies
Un outil de gestion des changements d’ontologies, écrit en Rust, qui planifie, applique et annule des modifications sur des ontologies en production. Il produit un rapport d’impact et un certificat qu’un auditeur peut revérifier avec un vérificateur de preuves Lean 4.
Résumé écrit par une IA à partir de la description et du README du dépôt.
Mis à jour il y a 6 min
Vous maintenez ce dépôt ? Ajoutez ce badge à votre README.
Pourquoi maintenant
Upstar a repéré open-ontologies il y a 9 jours.
+1 271 étoiles gagnées cette semaine
4× son rythme habituel
×2,1 depuis le repérage
Étoiles gagnées chaque jour, sur 30 jours
Sur GitHub
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
La description écrite par ses auteurs sur GitHub.