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☆115Updated 3 weeks ago
- 🧙♂️ Repository containing QuipuSwap liquidity protocol smart-contracts written in Ligo language☆46Updated 3 years ago
- ctez contract and frontend☆22Updated last year
- A K semantics of Tezos' Michelson language.☆17Updated last year
- Harbinger is a decentralized price oracle solution for price feeds on the Tezos network. This repository contains top level documentation…☆45Updated 3 years ago
- Check bcd instead☆20Updated 3 years ago
- ☆73Updated 9 months ago
- A development environment, testing framework, and origination pipeline focused solely on Tezos☆34Updated 2 years ago
- Blockchain data analytics tool☆32Updated 2 years ago
- OrO Oracle node on Tezos. (Pre-alpha)☆14Updated 2 years ago
- Tezos Reward Distributor (TRD): A reward distribution software for tezos bakers.☆90Updated 4 months ago
- 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 TZIP-16/TZIP-12 metadata indexer☆17Updated last year
- *BETA* Taqueria provides a seamless development workflow to easily build, test and deploy your Tezos applications.☆63Updated last month
- Query API and indexer for Tezos and other decentralized platforms.☆89Updated 2 years ago
- 👾 This module is required to provide communication between DApps and Temple Wallet☆16Updated last week
- Various forms of Tezos software distribution for Linux and macOS.☆62Updated last month
- A few smart contracts☆25Updated 4 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- Tezos Blockchain Indexer☆71Updated last year
- Cryptonomic's smart contracts☆17Updated 2 years ago
- A library of smart contracts☆100Updated last year
- A complete testing setup to build, deploy and interact with smart contracts and decentralised applications on Tezos.☆22Updated 4 years ago
- Automated reward payment & account management for Tezos bakers.☆49Updated 4 years ago
- Reference implementation of the TZIP-12 Tezos token standard☆11Updated 2 years ago
- A Tezos DApp starter kit based on React☆21Updated 2 years ago
- 🐺 Simple STARK verifier in cameligo☆11Updated 2 years ago
- python utils for tezos☆47Updated last year