Heterodox Technology links for 2025-07-30

The Dafny Programming and Verification Language

About

Heterodox Technology is a link log about alternatives to the Windows / Intel / ARM / Android / MacOS / HTTPS status quo.

More info ...
Main Heterodox Technology page