Formalization of Tendermint proposer election properties
☆14Jan 13, 2019Updated 7 years ago
Alternatives and similar repositories for tm-proposer-idris
Users that are interested in tm-proposer-idris are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sagan is an observability tool for Cosmos and other Tendermint applications☆36May 16, 2023Updated 3 years ago
- Rust implementation of Amino☆27Jun 23, 2020Updated 6 years ago
- Tendermint based chat☆24Mar 20, 2018Updated 8 years ago
- Rust crate for creating ABCI applications☆31Mar 7, 2023Updated 3 years ago
- Jepsen tests for the Tendermint distributed byzantine consensus system☆26Sep 5, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- ☆22Jun 29, 2020Updated 6 years ago
- ☆16Mar 11, 2022Updated 4 years ago
- Calculus of Constructions☆18Jul 17, 2019Updated 7 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- Javascript implementation of the Amino encoding protocol☆42Nov 1, 2019Updated 6 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- HoneyBadgerBFT in Rust☆10Nov 22, 2017Updated 8 years ago
- Go Ed25519 suitable for use in consensus-critical contexts.☆52Jan 18, 2024Updated 2 years ago
- Hermes IBC Workshop - Fungible Token Transfer (ics-20) between two Starport chains☆13Nov 18, 2021Updated 4 years ago
- ☆22Aug 18, 2020Updated 6 years ago
- ChainKit is a toolkit for blockchain development. It includes primitives for creating, building and running decentralized applications.☆118Feb 17, 2019Updated 7 years ago
- ☆14Feb 12, 2019Updated 7 years ago
- DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)☆16Oct 24, 2017Updated 8 years ago
- RFCs for changes to the TLA+ specification language☆12Sep 22, 2026Updated 3 weeks ago
- some useful tools for tendermint blockstore.db or state.db☆14May 21, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Painless multisig for many keys across many cosmos-sdk chains☆37Apr 8, 2026Updated 6 months ago
- Pure Rust client for YubiHSM2 devices☆69Feb 29, 2020Updated 6 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 6 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 7 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 5 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 8 years ago
- Category Theory☆19Oct 24, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A tiny EDSL for making slides in PureScript☆26Apr 27, 2017Updated 9 years ago
- Deployment scripts and monitoring configuration for a Cosmos Validator setup☆18Oct 24, 2018Updated 7 years ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 9 years ago
- A Python microframework for building blockchain applications with Tendermint☆22May 25, 2018Updated 8 years ago
- libcurl bindings for idris2☆15Feb 21, 2021Updated 5 years ago
- Tendermint-based blockchain that supports WebAssembly smart contract☆53Mar 16, 2020Updated 6 years ago
- Tiny executable techniques for dealing with emoji☆22Apr 4, 2021Updated 5 years ago