This is stars and forks stats for /input-output-hk/typed-protocols repository. As of 02 May, 2024 this repository has 5 stars and 4 forks.
typed-protocols A robust session type framework which supports protocol pipelining. Public content Duncan Coutts (@dcoutts) Haskell eXchange 2019 talk. Monadic party workshop by Marcin Szamotulski (@coot): part 1 part 2 part 2 Talk at Haskell Love 2021 by Marcin Szamotulski (@coot), slides. An Agda implementation by Marcin Szamotulski (@coot).
typed-protocols A robust session type framework which supports protocol pipelining. Public content Duncan Coutts (@dcoutts) Haskell eXchange 2019 talk. Monadic party workshop by Marcin Szamotulski (@coot): part 1 part 2 part 2 Talk at Haskell Love 2021 by Marcin Szamotulski (@coot), slides. An Agda implementation by Marcin Szamotulski (@coot).
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
gobitfly/eth2-beaconchain-explorer | GoHTMLJavaScript | 681 | 0 | 408 | 0 |
open-mpi/oac | M4Shell | 1 | 0 | 6 | 0 |
CherishOS/android_vendor_cherish | MakefileShellPython | 7 | 0 | 53 | 0 |
jontonsoup/dbproject2 | PerlShell | 0 | 0 | 0 | 0 |
nadrad/h-m-m | PHPShellDockerfile | 1.7k | 0 | 39 | 0 |
deefour/deefour.me | PugTypeScriptSCSS | 2 | 0 | 0 | 0 |
winfsp/sshfs-win | CMakefileShell | 4.2k | 0 | 226 | 0 |
mod-cpp/cpp-template-project-vcpkg | CMakeShellPowerShell | 31 | 0 | 3 | 0 |
ansible/pylibssh | CythonPythonShell | 52 | 0 | 24 | 0 |
nushio3/distributed-process-p2p | HaskellShell | 1 | 0 | 0 | 0 |