Agda、Coq、C++、Clojure、F#、Haskell、Java、JavaScript、Lisp、OCaml、Python、Ruby、Racket、Scheme、Scala、TypeScript……
Blog: https://jex.im/
Github: https://github.com/CJex