A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
-
Updated
Feb 24, 2021 - OCaml
#
tezos
Here are 17 public repositories matching this topic...
Github test mirror of the Octez software. Please do not submit pull-requests here!
-
Updated
Dec 24, 2024 - OCaml
Tezos smart contract & dapp development toolkit
-
Updated
Jan 3, 2023 - OCaml
Contract Metadata Viewer on Tezos
-
Updated
Sep 10, 2024 - OCaml
Elliptic curve library secp256k1 wrapper for Ocaml
-
Updated
Dec 18, 2023 - OCaml
An ML-inspired smart contract language, compiling to Tezos' Michelson VM
-
Updated
Sep 29, 2017 - OCaml
Example of modular FA2 contract generator (fa2-contracts).
-
Updated
Oct 6, 2023 - OCaml
Interactive node simulator for TLA+ specification of Tezos p2p
-
Updated
Sep 5, 2022 - OCaml
A test execution engine for Michelson smart contracts.
-
Updated
Mar 5, 2019 - OCaml
Live Protocol Tester built for Tezos. Also includes Proof of Work and Proof of Authority.
-
Updated
Dec 26, 2023 - OCaml
Improve this page
Add a description, image, and links to the tezos topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tezos topic, visit your repo's landing page and select "manage topics."