Why do you think that https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml is a good alternative to morley
Here you can share your experience with the project you are suggesting or its comparison with morley. Optional.
A valid email to send you a verification link when necessary or log in.