There are 2 repositories under assurance-case topic.
DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)
Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA