Pinned Repositories
acestream-client
Acestream client written in Rust
figo
P2P file transfer utility
FishPyPano
Stitch two fish eye images to get 360° panorama
oopsla21artifact
pysphere
control Mi Sphere 360 camera from command line
rope
P2P file transfer utility
rover
Rover for Cosmos Network
subscene-dl
Download subtitles from subscene.com
tla-playground
Online playground for TLA+
rnbguy's Repositories
rnbguy/rope
P2P file transfer utility
rnbguy/tla-playground
Online playground for TLA+
rnbguy/oopsla21artifact
rnbguy/rover
Rover for Cosmos Network
rnbguy/apalarse
Typed formal specifications in Rust
rnbguy/cargo-languagetool
A third-party cargo extension for checking grammar in the documentation and comments.
rnbguy/dbcop
Runtime monitoring for transactional consistency
rnbguy/manuscript-marauder
Download manuscript using a proxy
rnbguy/aur-maintainer
Auto AUR package maintainer for Github releases
rnbguy/basecoin-rs
An example ABCI application making use of tendermint-rs and ibc-rs
rnbguy/cosmos-rust
The home of all shared Rust resources for the Cosmos ecosystem.
rnbguy/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
rnbguy/cosmwasm-ibc
An IBC module implemented using `ibc-rs` that can be run as a CosmWasm contract
rnbguy/deno-grpc
Very basic gRPC implementation for Deno
rnbguy/deno_npm
npm registry client and dependency resolver used in the Deno CLI.
rnbguy/denoland-fresh
The next-gen web framework.
rnbguy/hermes
IBC Relayer in Rust
rnbguy/ibc-cw
IBC light clients in cosmwasm
rnbguy/ibc-eureka-cw
rnbguy/ibc-go
Inter-Blockchain Communication Protocol (IBC) implementation in Golang.
rnbguy/ibc-proto-rs
Rust crate for interacting with Cosmos and IBC structs.
rnbguy/ibc-rs
Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
rnbguy/informal-itf-rs
Rust library for consuming Apalache ITF traces
rnbguy/lazy-regex
lazy static regular expressions checked at compile time
rnbguy/mdx-docker
rnbguy/osmosis
The AMM Laboratory
rnbguy/prost-wkt
Prost Well-Known-Types serialization and deserialization.
rnbguy/quint
Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions
rnbguy/rnbguy.github.io
rnbguy/rstest
Fixture-based test framework for Rust