Rano | Ranadeep's repositories
manuscript-marauder
Download manuscript using a proxy
tla-playground
Online playground for TLA+
atomkraft
E2E testing for Cosmos blockchains
atomkraft-provenance
Atomkraft for Provenance
aur-maintainer
Auto AUR package maintainer for Github releases
basecoin-rs
An example ABCI application making use of tendermint-rs and ibc-rs
cargo-languagetool
A third-party cargo extension for checking grammar in the documentation and comments.
cargo-release
Cargo subcommand `release`: everything about releasing a rust crate.
cosmos-rust
The home of all shared Rust resources for the Cosmos ecosystem.
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
cosmwasm-ibc
An IBC module implemented using `ibc-rs` that can be run as a CosmWasm contract
deno-grpc
Very basic gRPC implementation for Deno
deno_npm
npm registry client and dependency resolver used in the Deno CLI.
denoland-fresh
The next-gen web framework.
hermes
IBC Relayer in Rust
ibc-cw
IBC light clients in cosmwasm
ibc-proto-rs
Rust crate for interacting with Cosmos and IBC structs.
ibc-rs
Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
informal-itf-rs
Rust library for consuming Apalache ITF traces
lazy-regex
lazy static regular expressions checked at compile time
osmosis
The AMM Laboratory
prost-wkt
Prost Well-Known-Types serialization and deserialization.
quint
Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions