Heterodox Technology links for 2025-11-06

Umka: statically typechecked scripting language
Cure Programming Language (Dependent Types. SMT Verification. Native FSMs. On the BEAM.)

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