coq-tezos-of-ocaml

By nomadic-labs

Coq-tezos-of-ocaml Alternatives

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

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

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 | reddit.com/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.

Stats

Basic coq-tezos-of-ocaml repo stats
1
-
-
-

Popular Comparisons

Less time debugging, more time building
Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
scoutapm.com
Find remote jobs at our new job board 99remotejobs.com. There are 28 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.