baking-bad / michelson-kernelLinks
Jupyter kernel for the Michelson language
☆18Updated 4 years ago
Alternatives and similar repositories for michelson-kernel
Users that are interested in michelson-kernel are comparing it to the libraries listed below
Sorting:
- 🐍 Python SDK for Tezos | Michelson VM in Python☆114Updated this week
- ctez contract and frontend☆22Updated last year
- 🧙♂️ Repository containing QuipuSwap liquidity protocol smart-contracts written in Ligo language☆46Updated 3 years ago
- Blockchain data analytics tool☆32Updated 2 years ago
- Check bcd instead☆20Updated 3 years ago
- Harbinger is a decentralized price oracle solution for price feeds on the Tezos network. This repository contains top level documentation…☆45Updated 3 years ago
- Various forms of Tezos software distribution for Linux and macOS.☆62Updated last week
- segmented-cfmm☆23Updated 3 years ago
- Tezos smart contract & dapp development toolkit☆67Updated 2 years ago
- BaseDAO - a generic smart contract framework for DAOs on Tezos☆58Updated 2 years ago
- Tezos Reward Distributor (TRD): A reward distribution software for tezos bakers.☆90Updated 4 months ago
- A K semantics of Tezos' Michelson language.☆17Updated last year
- A development environment, testing framework, and origination pipeline focused solely on Tezos☆34Updated 2 years ago
- ☆73Updated 9 months ago
- OrO Oracle node on Tezos. (Pre-alpha)☆14Updated 2 years ago
- 👾 This module is required to provide communication between DApps and Temple Wallet☆16Updated last week
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- *BETA* Taqueria provides a seamless development workflow to easily build, test and deploy your Tezos applications.☆64Updated 3 weeks ago
- python utils for tezos☆47Updated last year
- Cryptonomic's smart contracts☆17Updated 2 years ago
- Automated reward payment & account management for Tezos bakers.☆49Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- A few smart contracts☆25Updated 4 years ago
- Contract Metadata Viewer on Tezos☆25Updated last year
- A library of smart contracts☆101Updated last year
- Tezos Blockchain Indexer☆71Updated last year
- Tezos Block Explorer by Blockwatch☆18Updated 3 years ago
- Reference implementation of the TZIP-12 Tezos token standard☆11Updated 2 years ago
- All contents related to the Mina grant program and projects in scope☆15Updated 3 years ago
- 🔐💰Cryptocurrency wallet for Tezos blockchain as Web extension for your Browser.☆193Updated last week