S.T.

icon indicating an email [email protected]

icon location Toronto, Canada icon location OCaml enthusiast.

Results 2 repositories owned by S.T.

distributed

57
Stars
4
Forks
Watchers

Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.

verified publisher icon essdotteedot

sessions

17
Stars
0
Forks
Watchers

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

verified publisher icon essdotteedot