baking-bad / michelson-kernel
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
- ctez contract and frontend☆22Updated 7 months ago
- Contract Metadata Viewer on Tezos☆25Updated 6 months ago
- Michelson VM and Tezos OS rewritten in Rust☆25Updated last year
- A K semantics of Tezos' Michelson language.☆17Updated 6 months ago
- Check bcd instead☆20Updated 3 years ago
- 🐍 Python SDK for Tezos | Michelson VM in Python☆113Updated 2 months ago
- Harbinger is a decentralized price oracle solution for price feeds on the Tezos network. This repository contains top level documentation…☆45Updated 2 years ago
- Blockchain data analytics tool☆32Updated 2 years ago
- segmented-cfmm☆23Updated 3 years ago
- ☆73Updated 3 months ago
- Various forms of Tezos software distribution for Linux and macOS.☆59Updated this week
- Reference implementation of the TZIP-12 Tezos token standard☆11Updated 2 years ago
- 🐺 Simple STARK verifier in cameligo☆12Updated last year
- A Randomizer Oracle☆19Updated 2 years ago
- *BETA* Taqueria provides a seamless development workflow to easily build, test and deploy your Tezos applications.☆64Updated 2 months ago
- 🧙♂️ Repository containing QuipuSwap liquidity protocol smart-contracts written in Ligo language☆46Updated 2 years ago
- BaseDAO - a generic smart contract framework for DAOs on Tezos☆58Updated last year
- Cryptonomic's smart contracts☆17Updated last year
- JavaScript runtime and compute platform build on Tezos Smart Rollups☆37Updated this week
- A few smart contracts☆25Updated 3 years ago
- Tezos Block Explorer by Blockwatch☆18Updated 2 years ago
- Tezos as a Service - GraphQL API☆8Updated 2 years ago
- A complete testing setup to build, deploy and interact with smart contracts and decentralised applications on Tezos.☆22Updated 3 years ago
- Tezos Reward Distributor (TRD): A reward distribution software for tezos bakers.☆88Updated 2 months ago
- Training n°1 for decentralized application☆20Updated 10 months ago
- A Tezos DApp starter kit based on React☆21Updated 2 years ago
- Automated reward payment & account management for Tezos bakers.☆49Updated 3 years ago
- Tezos smart contract & dapp development toolkit☆67Updated 2 years ago
- OrO Oracle node on Tezos. (Pre-alpha)☆14Updated 2 years ago
- A library of smart contracts☆101Updated last year