coq-tezos-of-ocaml
By nomadic-labs
morley
By morley-framework
Our great sponsors
coq-tezos-of-ocaml | morley | |
---|---|---|
1 | 3 | |
- | - | |
- | - | |
- | - | |
- | - | |
- | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
coq-tezos-of-ocaml
Posts with mentions or reviews of coq-tezos-of-ocaml.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-03-29.
-
ELI5 This “superior tech” Tezos has
That being said, being written in a functional style helps a lot and OCaml helped to enforce a functional style. We made a translation to Coq of the protocol in https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml using https://clarus.github.io/coq-of-ocaml/ , a tool which we mostly developed for this project. It should now be possible to prove many properties about the protocol. I believe we could have done the same thing with any programming language, as long as the source code is written in a functional style.
morley
Posts with mentions or reviews of morley.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-03-29.
-
What are the key reasons Tezos is better than the other major proof of stake blockchains?
I also think that Cardano is in the end net positive for tezos. They are spending tons of ressources to train haskell devs on the blockchain which can then also develop on tezos using the more mature https://gitlab.com/morley-framework/morley
-
ELI5 This “superior tech” Tezos has
https://gitlab.com/morley-framework/morley (~similar to https://github.com/input-output-hk/plutus on cardano)
- Michelson Development Question
What are some alternatives?
When comparing coq-tezos-of-ocaml and morley you can also consider the following projects:
juvix - Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
mi-cho-coq
tezos
plutus - The Plutus language implementation and tools