OCaml

Super fun ML programming language! Coq is essentially embedded in it. Great type system but the language doesn't pose substantial limitations to the developer, unlike the purity that languages like Haskell tout.

https://github.com/ezyang/ocaml-cminsketch https://github.com/NathanReb/ocaml-afl-examples Cybersecurity Caml Trading - YouTube https://github.com/jfecher/algorithm-j https://github.com/jfecher/row-polymorphism

Multicore OCaml: July 2020 - ocaml http://rgrinberg.com/posts/deriving-slowly/ https://github.com/rossberg/1ml

Reason

An alternative syntax for OCaml that works in the browser. The messaging here is very confusing - bucklescript? ReasonReact? Which is it? Some good example projects: