the Intel ISA, formalized, as a web site
https://intel.github.io/SDM/sdm.html
announcement:
https://intel.github.io/SDM/announcement/2026/08/20/announce-preview.html
some blog posts:
https://intellabs.github.io/isa-tools/
this is all Alastair Reid's work! he previously did similar work creating an executable formal spec for ARM's ISA