The F# and F7 miTLS implementations mentioned in the post have been open sourced and are available here: <a href="https:&#x2F;&#x2F;github.com&#x2F;mitls" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;mitls</a>