crtdaydreams: https://baochip.com/ Item of interest, is designed to be inspectable with IR, the dev was a PhD student of Tom Knight

crtdaydreams: Though "written in rust"

crtdaydreams: https://apps.dtic.mil/sti/tr/pdf/ADA511350.pdf I'll also just drop this here for some light reading