essdotteedot / sessions

Library to provide session types to allow for static verification of protocols between concurrent computations.

essdotteedot/sessions Stargazers

Aaron Zauner
azet
nick
constfun
Calascibetta Romain
dinosaure
David Sheets
dsheets
Andrejs Agejevs
esneko
Lance Galletti
gallettilance
Takashi Suwa
gfngfn
Hannes Mehnert
hannesm
Ionuț G. Stan
igstan
A ghost.
madvagabond
MATSUBARA Nobutada
matsubara0507
Marcello Seri
mseri
Thomas Gazagnaire
samoht
Seb Mondet
smondet
Sora Morimoto
smorimoto
François Bérenger
UnixJunkie
xhavokx

Links

ProductDiscover

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

Contact Site Admin: Giters.