cwgoes / tm-proposer-idrisView external linksLinks
Formalization of Tendermint proposer election properties
☆15Jan 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
Sorting:
- Rust implementation of Amino☆27Jun 23, 2020Updated 5 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37May 16, 2023Updated 2 years ago
- Rust crate for creating ABCI applications☆32Mar 7, 2023Updated 2 years ago
- BFT consensus in Rust☆20Jan 26, 2022Updated 4 years ago
- Jepsen tests for the Tendermint distributed byzantine consensus system☆26Sep 5, 2017Updated 8 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Tendermint based chat☆24Mar 20, 2018Updated 7 years ago
- ☆23Jun 29, 2020Updated 5 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- RFCs for changes to the TLA+ specification language☆11Mar 19, 2025Updated 10 months ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 5 years ago
- HoneyBadgerBFT in Rust☆10Nov 22, 2017Updated 8 years ago
- Reflective actor-based language☆28Jan 2, 2017Updated 9 years ago
- Painless multisig for many keys across many cosmos-sdk chains☆36Feb 9, 2026Updated last week
- Hermes IBC Workshop - Fungible Token Transfer (ics-20) between two Starport chains☆13Nov 18, 2021Updated 4 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 8 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 5 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 7 years ago
- libcurl bindings for idris2☆15Feb 21, 2021Updated 4 years ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- Pure Rust client for YubiHSM2 devices☆70Feb 29, 2020Updated 5 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- some useful tools for tendermint blockstore.db or state.db☆14May 21, 2018Updated 7 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- Category Theory☆19Oct 24, 2018Updated 7 years ago
- ☆22Aug 18, 2020Updated 5 years ago
- Calculus of Constructions☆17Jul 17, 2019Updated 6 years ago
- DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)☆17Oct 24, 2017Updated 8 years ago
- A port of the gloss library from Haskell to Idris☆23Jul 9, 2018Updated 7 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- ChainKit is a toolkit for blockchain development. It includes primitives for creating, building and running decentralized applications.☆119Feb 17, 2019Updated 6 years ago
- Tiny executable techniques for dealing with emoji☆22Apr 4, 2021Updated 4 years ago
- Golden tests for command-line interfaces.☆19Jan 7, 2026Updated last month
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- Go Ed25519 suitable for use in consensus-critical contexts.☆52Jan 18, 2024Updated 2 years ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 7 years ago
- Data Structure and Algorithm explanations with Implementations by Java☆19Apr 29, 2017Updated 8 years ago