package archetype

  1. Overview
  2. Docs
Archetype language compiler

Install

Dune Dependency

github.com Readme MIT License Edit opam file Versions (46)

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

0.1.3.tar.gz
md5=d2596cc4bc873ab8eca49d753c31a348
sha512=0cfe9d1948b7baaf632f75f4bd783df5cfe9d5db57fef698d80ddef02d46c1912a0b73ac8ee06616dbe831f9ff3e4d4af26f78b4378dd466f2d7751634c2d6e5

Description

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

Published: 21 Sep 2019

README

Archetype language

Archetype language is a DSL (Domain Specific Language) to describe blockchain business processes.

Online documentation

Dependencies (9)

  1. ppx_deriving_yojson
  2. ppx_deriving < "6"
  3. yojson
  4. why3 >= "1.2.0" & < "1.3.0"
  5. digestif >= "0.7.2"
  6. uri
  7. menhir
  8. dune >= "1.10.0"
  9. ocaml >= "4.07.0"

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. digestif = "0.7.4"
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct