Raghavendra80
Researcher with interests in Distributed Systems Design and Formal Methods. Practitioner of Meditation
Brisbane
Pinned Repositories
codewitness
Code Merklization and other approaches to reducing the code contribution to witness size
sidechains-samples
Sample code for Atomic Crosschain Transactions
portal-network-specs
Official repository for specifications for the Portal Network
atomicEth
dafny-training
Some examples of Dafny code to support training sessions
raghavendra80.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
stateless-ethereum-specs
Specifications for the Stateless Ethereum research effort
tlaplus-training
Raghavendra80's Repositories
Raghavendra80/atomicEth
Raghavendra80/dafny-training
Some examples of Dafny code to support training sessions
Raghavendra80/raghavendra80.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Raghavendra80/stateless-ethereum-specs
Specifications for the Stateless Ethereum research effort
Raghavendra80/tlaplus-training