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
Language:Java135
sidechains-samples
Sample code for Atomic Crosschain Transactions
Language:Java22 31 07
portal-network-specs
Official repository for specifications for the Portal Network
Language:JavaScript290 28 10679
atomicEth
Language:TeX0 1 00
dafny-training
Some examples of Dafny code to support training sessions
Language:Dafny0 0 00
raghavendra80.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
stateless-ethereum-specs
Specifications for the Stateless Ethereum research effort
00
tlaplus-training
Language:TLA0 1 01

Raghavendra80's Repositories

Raghavendra80/atomicEth
Language:TeX0 1 00
Raghavendra80/dafny-training
Some examples of Dafny code to support training sessions
Language:Dafny0 0 00
Raghavendra80/raghavendra80.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
Raghavendra80/stateless-ethereum-specs
Specifications for the Stateless Ethereum research effort
00
Raghavendra80/tlaplus-training
Language:TLA0 1 01