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
- ☆22Jun 29, 2020Updated 6 years ago
- Tendermint based chat☆24Mar 20, 2018Updated 8 years ago
- Rust implementation of Amino☆27Jun 23, 2020Updated 6 years ago
- Propositional logic tools, inspired by the Coq standard library.☆10Dec 19, 2017Updated 8 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.
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 7 years ago
- Rust crate for creating ABCI applications☆31Mar 7, 2023Updated 3 years ago
- ☆10Dec 24, 2018Updated 7 years ago
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- Jepsen tests for the Tendermint distributed byzantine consensus system☆26Sep 5, 2017Updated 9 years ago
- Calculus of Constructions☆19Jul 17, 2019Updated 7 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- ☆16Mar 11, 2022Updated 4 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- HoneyBadgerBFT in Rust☆10Nov 22, 2017Updated 8 years ago
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- Javascript implementation of the Amino encoding protocol☆42Nov 1, 2019Updated 7 years ago
- RFCs for changes to the TLA+ specification language☆12Sep 22, 2026Updated last month
- Hermes IBC Workshop - Fungible Token Transfer (ics-20) between two Starport chains☆13Nov 18, 2021Updated 4 years ago
- Go Ed25519 suitable for use in consensus-critical contexts.☆53Jan 18, 2024Updated 2 years ago
- Example SDK Module Tutorial☆27Nov 4, 2018Updated 8 years ago
- ☆22Aug 18, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)☆16Oct 24, 2017Updated 9 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- ☆14Feb 12, 2019Updated 7 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
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 6 years ago
- Pure Rust client for YubiHSM2 devices☆69Feb 29, 2020Updated 6 years ago
- Painless multisig for many keys across many cosmos-sdk chains☆37Apr 8, 2026Updated 6 months ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 5 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- A formalisation of Restriction Categories in Agda☆12Sep 15, 2016Updated 10 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 8 years ago
- A small NuPRL style proof assistant☆32Jan 31, 2019Updated 7 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 years ago
- some useful tools for tendermint blockstore.db or state.db☆14May 21, 2018Updated 8 years ago
- Category Theory☆19Oct 24, 2018Updated 8 years ago