BMSTU Student Interference Simulation - WebApp

Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by softstack (formerly Chainsulting)

Contract Metadata Viewer on Tezos

Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.

LLTZ: Compiler from MLIR to Michelson

Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by Chainsulting

A debugger for Michelson

Michelson AST written in Rust

Michelson frontend for LiSA

🎓 Series of Jupyter notebooks for training in Tezos development & analysis

Compilation of an extended lambda-calculus to Michelson

Tezos smart contracts for Warden.

XToken.tz is a digital security token compliant with FA 1.2 token standard

VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.

Projects glossary for projects done by members of Tezos Developer's Community, Vellore.

Swift library for interacting with Tezos blockchain

An intergrated development environment specialized for the Tezos smart contract language Michelson

Smart contracts of the Tezos Payments service

michelson/smartpy smart contracts repository

Uanon Tezos contracts

Jupyter kernel for the Michelson language

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

IntelliJ support for the Tezos platform. Support for Michelson for now.

wuwei無為 price feed experiment

Michelson & Morley syntax highlighting

random-bridge is an off-chain serverless worker syncing entropy from one blockchain to another

Originate contracts on the Tezos blockchain

Atomex protocol implementation in pure Michelson