An OCaml library with an ADT representation of Michelson smart contracts syntax.
git clone https://github.com/joaosreis/michelson-adt.git
cd michelson-adt
dune build @install
dune install
opam install https://github.com/joaosreis/michelson-adt.git
Developed under the FRESCO project (Formal Verification of Smart Contracts), generously funded by Tezos Foundation.