If you know of other SSL/TLS implementations (particularly open source ones), let me know. I'd be especially interested in implementations written in languages such as Python, ML, Scheme, or Haskell.