Dave Bryson's repositories
opencbdc-mvp
A super simplified version of opencbdc for learning and experimentation
revm-python
Python API for smart-contracts and revm
revm-provider
A provider and contract API for Revm
merkletree_stream
A streaming Merkle Tree indexed by a Flat Tree
sparse-merkle-tree
Sparse Merkle Tree with Proofs
core
High-performance, well-tested & documented core libraries for Ethereum, in Rust
delegate-with-sgl
Using Verifiable Credentials for Delegation
did-parser
:wrench: A Rust parser for Decentralized Identifiers
memory_pager
Little buffers to work with random memory data
opencbdc-tx
A transaction processor for a hypothetical, general-purpose, central bank digital currency
random_access_storage
Random Access Storage in Erlang
rapido-client
Super Simple, Minimal, Tendermint Client
rebar3
Erlang build tool that makes it easy to compile and test Erlang applications and releases.
rust-abci
A rust implementation of the ABCI protocol for tendermint core
sparse_bitfield
Flip a bit at a random location in a random sized binary
tendermint-rpc-client
Python based client to interact with a Tendermint node
tla_models
Evaluating smart contract protocols with TLA+.
vyper-tokens
Vyper implementation of ERC tokens