A formally verified Extism count_vowels implementation in Coq, extracted to Haskell
The Coq source can be found in CountVowels.v, during the build process the code is extracted to src/CountVowels.hs.
You will need wasm32-wasi-ghc, then:
$ make build$ make test