OCamlPro / liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
☆158Updated 3 years ago
Related projects: ⓘ
- Ledger app for Tezos☆101Updated 2 years ago
- Frequently Asked Questions☆67Updated 2 years ago
- Tezos smart contract & dapp development toolkit☆67Updated last year
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 2 years ago
- Tezos Explorer☆36Updated 6 years ago
- A K semantics of Tezos' Michelson language.☆17Updated 2 weeks ago
- ☆70Updated 3 months ago
- Query API and indexer for Tezos and other decentralized platforms.☆89Updated last year
- Custom compiler for Michelson - Tezos Smart Contracts☆43Updated 5 years ago
- Tezos JS Library☆114Updated last year
- Resources for Tezos Developers☆35Updated 4 years ago
- Original position paper and white paper for Tezos☆38Updated 6 years ago
- ☆91Updated 6 years ago
- Tezos node/shell in Rust. Unfortunately dev has ceased. If you are interested in resurrecting, please contact @drchrispinnock☆146Updated 2 months ago
- Scilla - A Smart Contract Intermediate Level Language☆240Updated 2 months ago
- Tezos Block Explorer by Blockwatch☆18Updated 2 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 3 years ago
- python utils for tezos☆48Updated 2 months ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆235Updated 2 years ago
- ☆77Updated last year
- Whitelabel wallet framework for the Tezos blockchain☆56Updated last year
- This is the legacy code base of TezBridge☆12Updated 5 years ago
- working with coq and tezos☆28Updated 7 years ago
- Automated reward payment & account management for Tezos bakers.☆49Updated 3 years ago
- Various forms of Tezos software distribution for Linux and macOS.☆60Updated 3 weeks ago
- Web3 API for Haskell☆189Updated 3 months ago
- Python software that receives Tezos baking and endorsement payloads and passes them on to a supported HSM to be signed☆39Updated 7 months ago
- An in-development "robocoin" system for the Tezos blockchain☆25Updated 2 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago