Giters
Raghavendra Ramesh (Raghavendra80)

Raghavendra80

Geek Repo

2

followers

0

following

7

stars

Location:Brisbane

Home Page:https://sites.google.com/site/layavasthainbrahman/

Github PK Tool:Github PK Tool

Raghavendra Ramesh's repositories

atomicEth

Language:TeXStargazers:0Issues:0Issues:0

dafny-training

Some examples of Dafny code to support training sessions

Language:DafnyStargazers:0Issues:0Issues:0

raghavendra80.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

stateless-ethereum-specs

Specifications for the Stateless Ethereum research effort

Stargazers:0Issues:0Issues:0

tlaplus-training

Language:TLAStargazers:0Issues:1Issues:0