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 2 years ago
- Rust implementation of Amino☆27Jun 23, 2020Updated 5 years ago
- Tendermint based chat☆24Mar 20, 2018Updated 8 years ago
- Rust crate for creating ABCI applications☆31Mar 7, 2023Updated 3 years ago
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Jepsen tests for the Tendermint distributed byzantine consensus system☆26Sep 5, 2017Updated 8 years ago
- ☆22Jun 29, 2020Updated 5 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- ☆16Mar 11, 2022Updated 4 years ago
- Calculus of Constructions☆18Jul 17, 2019Updated 6 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 8 years ago
- Javascript implementation of the Amino encoding protocol☆42Nov 1, 2019Updated 6 years ago
- HoneyBadgerBFT in Rust☆10Nov 22, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- RFCs for changes to the TLA+ specification language☆11Mar 19, 2025Updated last year
- ☆22Aug 18, 2020Updated 5 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
- DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)☆16Oct 24, 2017Updated 8 years ago
- some useful tools for tendermint blockstore.db or state.db☆14May 21, 2018Updated 7 years ago
- Pure Rust client for YubiHSM2 devices☆69Feb 29, 2020Updated 6 years ago
- ☆14Feb 12, 2019Updated 7 years ago
- Painless multisig for many keys across many cosmos-sdk chains☆37Feb 9, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 5 years ago
- Reflective actor-based language☆28Jan 2, 2017Updated 9 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 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
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 7 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A tiny EDSL for making slides in PureScript☆26Apr 27, 2017Updated 8 years ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 7 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- Category Theory☆19Oct 24, 2018Updated 7 years ago
- A Python microframework for building blockchain applications with Tendermint☆22May 25, 2018Updated 7 years ago
- Deployment scripts and monitoring configuration for a Cosmos Validator setup☆18Oct 24, 2018Updated 7 years ago