kit-dsn / payment-channel-tla

Specification of a protocol for payment channels in TLA+

kit-dsn/payment-channel-tla Stargazers

Jonathan Zernik
yzernik
Gwen Smuda
gwensmu
Omkar Pangarkar
odp
pozorfluo
Bruno
bruno-who-likes
Miguel Vaz
mvaz
Joe Miyamoto
joemphilips
maxmunzel
Hichem Ben Aoun
hichemBA67
diogocanut
Thanh-Toan Nguyen
thanhtoantnt
Caio Rosa
caiocampoos
Guilherme
noghartt
lee
fowlerlee

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.