Jun Kimura's starred repositories
usbipd-win
Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
tendermint-rs
Client libraries for Tendermint/CometBFT in Rust!
rust-simple_logger
A rust logger that prints all messages with a readable output format.
minimal-elf
Creating a minimal ELF file
tendermint-sol
Tendermint in Solidity
cosmos-ethereum-ibc-lcp
A bridge demo between Cosmos and Ethereum using IBC and LCP
tendermint-zk-ibc
Tendermint ZK Light Client for ibc-solidity
yui-relayer-build
IBC Relayer for heterogeneous blockchains
ethereum-ibc-rs
Ethereum Light Client for IBC
forge-tx-replay
A small library for Forge that makes it easy to replay transactions and inspect the contract code and state
ibc-quorum-relay
Relayer module for GoQuorum
solidity-mpt
A verification library for Merkle Particia Tree in Solidity
ethereum-light-client-rs
A rust implementation of the ethereum light client that supports no_std
fabric-batch-chaincode
This library enables batch transactions in chaincode without additional trusted systems.
ibc-proxy-relay
A yui-relayer module to enable IBC between chains that use ibc-proxy.