-
transplantbenefit Public
Forked from SurgicalInformatics/transplantbenefitEdinburgh liver app including transplant benefit score calculator
R GNU General Public License v3.0 UpdatedFeb 7, 2023 -
isabelle Public
Forked from seL4/isabellegit mirror of the Munich isabelle hg repository
Isabelle Other UpdatedFeb 7, 2023