4 ms·
you are aware of ironside? a dns server written in ADA, and at least parts verified in spark? https://ironsides.martincarlisle.com/ https://ironsides.martincar
by deknos 5y ago
you are aware of ironside? a dns server written in ADA, and at least parts verified in spark?
https://ironsides.martincarlisle.com/ https://ironsides.martincarlisle.com/