63 Open source projects that are alternatives of or similar to tezedge-specification

Tezos smart contract & dapp development toolkit

Tezart helps to interact with ​Tezos blockchain.

🐍 Python SDK & CLI for Tezos | Michelson REPL and testing framework

Tezos node/shell in Rust. Unfortunately dev has ceased. If you are interested in resurrecting, please contact @drchrispinnock

Harbinger is a decentralized price oracle solution for price feeds on the Tezos network. This repository contains top level documentation for the project.

Netezos is a cross-platform Tezos SDK for .NET developers, simplifying the access and interaction with the Tezos blockchain

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

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Algebraic proof discovery in Agda

Better Call Dev backend

TLA+ tools for Emacs

Read-only mirror of the Klever Git repository

Tezos Blockchain Indexer

A static web application to explore and animate a TLA+ state graph.

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

A script for running TLA+/TLC from the command line

🧙‍♂️ Repository containing QuipuSwap liquidity protocol smart-contracts written in Ligo language

The Verifiably Safe Reinforcement Learning Framework

A cryptographic library in SPARK 2014

This is the legacy code base of TezBridge

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

A framework for implementing and certifying impure computations in Coq

Elliptic curve library secp256k1 wrapper for Ocaml

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Signatory - A Tezos Remote Signer for signing block-chain operations with private keys using YubiHSM and Azure Key Vault

Formalization of Tendermint proposer election properties

Interactive Code School for onboarding newcomers to build DApps on Tezos using SmartPy

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

Deploy a Tezos Blockchain on Kubernetes

Homebase is a web application that enables users to create and manage/use DAOs on the Tezos blockchain.

Contract Metadata Viewer on Tezos

Atomic swap exchange client for OS Windows

Blockchain data analytics tool

Whitelabel wallet framework for the Tezos blockchain

Golang library for the Tezos blockchain

(Secure) Ruby to Liquidity w/ ReasonML Syntax / Michelson (Source-to-Source) Cross-Compiler Cheat Sheet / White Paper

Awesome ASIC design verification

Intrepyd Model Checker

The TzScan block explorer for Tezos

Frama-C and WP tutorial

Resources for Tezos Developers

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

Modular framework for creating selective indexers and featureful backends for dapps

www.imandra.ai

An ML-inspired smart contract language, compiling to Tezos' Michelson VM

A test execution engine for Michelson smart contracts.

🌐 🧙‍♂️ Decentralized application UI for Quipuswap protocol.

Different TLA+ specifications, mostly for learning purposes

📱🔐💰 Mobile cryptocurrency wallet for Tezos blockchain.

Reads a state transition system and performs property checking

🔐💰Cryptocurrency wallet for Tezos blockchain as Web extension for your Browser.

Tezos FA2 NFT CLI Tool And Tutorial

Convert TLA+ output (and values) into JSON

Fully proved small C functions (examples for verification course).

Tezos Reward Distributor (TRD): A reward distribution software for tezos bakers.

Web wallet for the Tezos blockchain

Trying to verify Verilog/VHDL designs with formal methods and tools

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

hicetnunc UI/UX