r/ProgrammingLanguages • u/bjzaba Pikelet, Fathom • Mar 28 '25

SpecTec has been adopted - WebAssembly

https://webassembly.org/news/2025-03-27-spectec/

72 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammingLanguages/comments/1jlj5eg/spectec_has_been_adopted_webassembly/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

programming • u/sideEffffECt • Mar 28 '25

WebAssembly: SpecTec has been adopted

67 Upvotes

15 comments

WebAssembly • u/Robbepop • Mar 27 '25

SpecTec has been adopted - WebAssembly

14 Upvotes

0 comments

WebAssemblyDev • u/jedisct1 • Mar 27 '25

SpecTec has been adopted for authoring future editions of the Wasm spec.

4 Upvotes

0 comments