A temporary fork of the original Tendermint Core repository (please use CometBFT instead)
☆16Mar 11, 2024Updated last year
Alternatives and similar repositories for tendermint
Users that are interested in tendermint are comparing it to the libraries listed below
Sorting:
- Stargaze blockchain indexer☆10Oct 22, 2021Updated 4 years ago
- ☆20Jan 24, 2023Updated 3 years ago
- ☆19Jan 15, 2026Updated last month
- Nova integration with Expressjs.☆17May 1, 2024Updated last year
- Information about the Meter testnet challenge☆10Mar 1, 2021Updated 5 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- 🧬 an evolving design philosophy (masquerading as a color scheme)☆11Dec 8, 2025Updated 2 months ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated last week
- Sagan is an observability tool for Cosmos and other Tendermint applications☆36May 16, 2023Updated 2 years ago
- A Node.js addon for VSOCK socket, napi-rs based.☆13Nov 18, 2024Updated last year
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- dead simple reverse proxy and webserver☆12Updated this week
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 13 years ago
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 3 years ago
- A versatile Prometheus exporter and indexer, with an optional light weight dashboard☆10Oct 9, 2024Updated last year
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago
- Genome analysis toolkit☆12Apr 23, 2025Updated 10 months ago
- ☆10Jun 1, 2023Updated 2 years ago
- A Golang implementation of the solution to the MasterMind game☆14May 22, 2015Updated 10 years ago
- Haskell: Simple heterogeneous lists☆10Feb 7, 2022Updated 4 years ago
- Go basic utility library with futures, iterators, pubsub programming, ergonomic data types, and pipeline programming. Has no third-party …☆12Feb 13, 2026Updated 2 weeks ago
- Flatten SPF records☆13Apr 12, 2021Updated 4 years ago
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- cosmos_api_tools for validators☆10Dec 6, 2018Updated 7 years ago
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 7 years ago
- Substrate Node for Anmol Network☆12Jan 20, 2023Updated 3 years ago
- A Geographical Information System, workbench and repository to retrieve, collect, create, enrich and preserve historical temporalized spa…☆18Dec 4, 2024Updated last year
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- SQLite load testing application using GitHub Archive data.☆14Apr 16, 2022Updated 3 years ago
- This repository implements IBC solo machine which can be used to interface with other machines and replicated ledgers which speak IBC.☆43Jun 20, 2025Updated 8 months ago
- ☆10Jun 16, 2022Updated 3 years ago
- Deforming algorithm of volume based object☆10Sep 27, 2019Updated 6 years ago
- Build a rustc sysroot with custom flags☆19Oct 24, 2025Updated 4 months ago
- POC State - Code quality and static analysis for CosmWasm based projects☆10Jun 3, 2024Updated last year
- Utility for checking blockchain TCP ports available to the public☆12Jul 3, 2022Updated 3 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago