84 Open source projects that are alternatives of or similar to tm-proposer-idris

Fast proof-of-authority blockchain based on go-ethereum and tendermint

Mintscan Frontend for Binance DEX

An awesome tool-kit for launching Cosmos-SDK and Tendermint-based projects

Ethereum on Tendermint using Cosmos-SDK!

Intrepyd Model Checker

ChainKit is a toolkit for blockchain development. It includes primitives for creating, building and running decentralized applications.

DCL is a public permissioned ledger framework for Zigbee compliance certification of device models. The ledger is based on Cosmos SDK and Tendermint.

Ethermint is a scalable and interoperable Ethereum, built on Proof-of-Stake with fast-finality using the Cosmos SDK.

Tendermint-based blockchain that supports WebAssembly smart contract

DEPRECATED: Merged into https://github.com/tendermint/tendermint under `libs`

Ethereum-Tendermint token sending gateway

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.

𝕊 The Secret Network

👽 Cosmostation iOS Wallet

a secure, transparent, and peer-to-peer cloud computing network

A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol

Crypto.org Chain⛓: Croeseid Testnet and beyond development

Tendermint + Sqlite3 = BFT Database Replication

Go Dispatch client

AnychainDB is fast, distributed, blockchain database based on Tendermint and MongoDB

Java implementation of the Tendermint ABCI

Awesome ASIC design verification

Frama-C and WP tutorial

global hosting, financial automation, server-less web components

Internet of Blockchains ⚛

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

Thaler Experimental Network; For Crypto.org Chain: github.com/crypto-org-chain/chain-main

Clojure host/server for Tendermint's ABCI protocol.

A stable cryptocurrency that algorithmically targets $1 USD using the Kowala Protocol

Your 🔵 Superintelligence

通用区块链平台tendermint源码分析

Projects in the Cosmos and Tendermint ecosystem 🌌

Enabling DAML applications to run on Hyperledger Fabric

Blockchain for planetary regeneration

A rust implementation of the ABCI protocol for tendermint core

An application that allows writing ABCI servers.

Sentinel is an interoperable secure network layer offering the Sentinel Service Chain exclusively for distributed & decentralized native services like - dVPN, Sentrix (dChat and dVoIP) and more.

some useful tools for tendermint blockstore.db or state.db

⭐️ CosmosJS - Cosmos JavaScript Library

Sommelier Chain

Algebraic proof discovery in Agda

Python tools for Cosmos wallet management and offline transaction signing

Easy-to-use SDK to build Tendermint ABCI applications

Deployment scripts and monitoring configuration for a Cosmos Validator setup

The easiest way to build a blockchain.

Ostracon, a consensus algorithm, is forked from Tendermint Core. We have added VRF to Tendermint BFT. It adds randomness to PoS Validator elections and improves security.

Python based ABCI Server for Tendermint

The Verifiably Safe Reinforcement Learning Framework

Rust <-> Terrad API via LCD service

A cryptographic library in SPARK 2014

Cosmos app for clearing and settlements

A framework for implementing and certifying impure computations in Coq

⛓️ A Framework for Building High Value Public Blockchains ✨

Chainmint = Chain.com + Tendermint

Read-only mirror of the Klever Git repository

A Go implementation of CITA. https://docs.nervos.org/cita

𝕊 The Secret Network

Mint Blockchain — Build blockchain powered social apps

✨ Smooth, easy blockchain apps ✨