Coq-tezos-of-ocaml Alternatives

Similar projects and alternatives to coq-tezos-of-ocaml

plutus

89 1,530 9.8 Haskell coq-tezos-of-ocaml VS plutus

The Plutus language implementation and tools
juvix

7 300 9.5 Haskell coq-tezos-of-ocaml VS juvix

Discontinued 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.
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
mi-cho-coq

7 - - coq-tezos-of-ocaml VS mi-cho-coq
morley

3 - - coq-tezos-of-ocaml VS morley

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better coq-tezos-of-ocaml alternative or higher similarity.

Suggest an alternative to coq-tezos-of-ocaml

coq-tezos-of-ocaml reviews and mentions

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
5 projects | /r/tezos | 29 Mar 2021

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.