-
-
quint Public
Forked from informalsystems/quintAn executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript Apache License 2.0 UpdatedAug 7, 2025 -
stylus-sdk-rs Public
Forked from OffchainLabs/stylus-sdk-rsRust Smart Contracts on Arbitrum
Rust UpdatedJul 4, 2025 -
tla_models Public
Evaluating smart contract protocols with TLA+.
TLA Apache License 2.0 UpdatedMay 17, 2024 -
py-abci Public archive
Build Tendermint blockchain applications in Python
-
-
breezy Public archive
💥 A simple framework for building Tendermint applications
JavaScript Apache License 2.0 UpdatedMar 4, 2023 -
sparse-merkle-tree Public
Sparse Merkle Tree with Proofs
-
-
opencbdc-mvp Public
A super simplified version of opencbdc for learning and experimentation
-
delegate-with-sgl Public
Using Verifiable Credentials for Delegation
Python Apache License 2.0 UpdatedSep 7, 2021 -
-
-
tendermint-rpc-client Public
Python based client to interact with a Tendermint node
Python Apache License 2.0 UpdatedJun 28, 2021 -
sgl Public
An Erlang implementation of the Simple Grant Language
-
flat_tree Public
A pure Erlang implementation of a Flat Tree
Erlang Apache License 2.0 UpdatedJun 13, 2021 -
random_access_storage Public
Random Access Storage in Erlang
Erlang Apache License 2.0 UpdatedJun 13, 2021 -
sparse_bitfield Public
Flip a bit at a random location in a random sized binary
Erlang Apache License 2.0 UpdatedJun 11, 2021 -
memory_pager Public
Little buffers to work with random memory data
Erlang Apache License 2.0 UpdatedJun 11, 2021 -
merkletree_stream Public
A streaming Merkle Tree indexed by a Flat Tree
-
clip Public
An Erlang library for creating interactive command-line clients
Erlang Apache License 2.0 UpdatedApr 16, 2021 -
rapido Public archive
💥 A Rust framework for building Tendermint applications 💥
-
menta Public
An SDK to build permissioned blockchain applications with Tendermint
-
-
jellyfish_merkle Public
Stand alone version of the Sparse Merkle Tree from the Libra project
-
-
merkle_patricia_tree Public
Forked from exthereum/merkle_patricia_treeElixir implementation of modified Merkle Patricia tree (trie)
Elixir MIT License UpdatedFeb 6, 2019 -
urkel-rs Public archive
Rust Implementation of an Urkel Tree
-
js-abci Public
Forked from tendermint/js-abciJavascript ABCI libraries
JavaScript UpdatedNov 16, 2018 -
py-tendermint Public archive
A Python microframework for building blockchain applications with Tendermint
{{ message }}