- Planet Earth
-
AgentTorch Public
Forked from AgentTorch/AgentTorchlarge population models
Jupyter Notebook Other UpdatedJan 21, 2025 -
revm Public
Forked from bluealloy/revmEthereum Virtual Machine written in rust that is fast and simple to use
Rust MIT License UpdatedJun 13, 2024 -
tla_models Public
Evaluating smart contract protocols with TLA+.
TLA Apache License 2.0 UpdatedMay 17, 2024 -
py-abci Public
Build Tendermint blockchain applications in Python
-
-
revm-python Public archive
Python API for smart-contracts and revm
-
core Public
Forked from alloy-rs/coreHigh-performance, well-tested & documented core libraries for Ethereum, in Rust
Rust Apache License 2.0 UpdatedAug 9, 2023 -
revmup Public
A smart-contract api and client for revm
-
revm-provider Public
A provider and contract API for Revm
-
breezy Public
💥 A simple framework for building Tendermint applications
JavaScript Apache License 2.0 UpdatedMar 4, 2023 -
opencbdc-tx Public
Forked from mit-dci/opencbdc-txA transaction processor for a hypothetical, general-purpose, central bank digital currency
C++ Other UpdatedSep 7, 2022 -
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
-
rebar3 Public
Forked from erlang/rebar3Erlang build tool that makes it easy to compile and test Erlang applications and releases.
Erlang Apache License 2.0 UpdatedMay 28, 2021 -
clip Public
An Erlang library for creating interactive command-line clients
Erlang Apache License 2.0 UpdatedApr 16, 2021 -
rust-abci Public
Forked from tendermint/rust-abciA rust implementation of the ABCI protocol for tendermint core
Rust Apache License 2.0 UpdatedMar 10, 2021 -
rapido Public
💥 A Rust framework for building Tendermint applications 💥
-
menta Public
An SDK to build permissioned blockchain applications with Tendermint