S-hansei is a project mainly written in ..., it's free.
A Scala port of HANSEI, originally in OCaml
404: Not Found