Description

Archetype is a domain-specific language (DSL) to develop smart contracts on the Tezos blockchain, with a specific focus on contract security

Published: 02 Oct 2020

Dependencies (10)

  1. hex
  2. visitors
  3. ppx_deriving_yojson
  4. ppx_deriving
  5. yojson
  6. num
  7. menhir
  8. digestif >= "0.7.2"
  9. dune >= "1.10.0"
  10. ocaml >= "4.07.0"

Reverse Dependencies

    None

Conflicts (1)

  1. digestif = "0.7.4"
Archetype language compiler

Install

Documentation github.com Readme Changelog MIT License Edit opam file

Authors

  1. B
    Benoit Rognier <benoit.rognier@edukera.com>
  2. G
    Guillaume Duhamel <guillaume.duhamel@edukera.com>
  3. P
    Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>

Maintainers

  1. T
    The Archetype development team <archetype-dev@edukera.com>

Sources

1.2.1.tar.gz
md5=c20dcb6608e92be9b9899727ccd71628
sha512=7930c838cfe44c7256dd392aaccabb7b583f3f5ca06c0f5dfbe61f65787ae661eb736bb8ed7ad652dcaf825d5f95c4fcfbc3eee93367819385680d1c15737195