{"id":20812219,"url":"https://github.com/curegit/session-csharp","last_synced_at":"2026-02-04T06:46:03.247Z","repository":{"id":135783794,"uuid":"167008005","full_name":"curegit/session-csharp","owner":"curegit","description":"Session-typed concurrent and distributed programming for .NET","archived":false,"fork":false,"pushed_at":"2024-10-03T07:43:20.000Z","size":275,"stargazers_count":2,"open_issues_count":1,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-10-10T21:47:47.591Z","etag":null,"topics":["concurrent-programming","inter-process-communication","session-types"],"latest_commit_sha":null,"homepage":"https://doi.org/10.48550/arXiv.2004.01325","language":"C#","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/curegit.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-01-22T14:27:58.000Z","updated_at":"2024-10-03T07:43:24.000Z","dependencies_parsed_at":"2025-04-13T05:00:19.631Z","dependency_job_id":null,"html_url":"https://github.com/curegit/session-csharp","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/curegit/session-csharp","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/curegit%2Fsession-csharp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/curegit%2Fsession-csharp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/curegit%2Fsession-csharp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/curegit%2Fsession-csharp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/curegit","download_url":"https://codeload.github.com/curegit/session-csharp/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/curegit%2Fsession-csharp/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29073946,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-04T03:31:03.593Z","status":"ssl_error","status_checked_at":"2026-02-04T03:29:50.742Z","response_time":62,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["concurrent-programming","inter-process-communication","session-types"],"created_at":"2024-11-17T20:51:18.092Z","updated_at":"2026-02-04T06:46:03.208Z","avatar_url":"https://github.com/curegit.png","language":"C#","readme":"# SessionC#\n\n*Session-typed concurrent and distributed programming for .NET*\n\n**Fluent Session Programming in C#** (PLACES 2020) [[Paper](https://doi.org/10.48550/arXiv.2004.01325)] - Shunsuke Kimura, Keigo Imai\n\nWe propose **SessionC#**, a lightweight session typed library for safe concurrent/distributed programming.\nThe key features are (1) the improved fluent interface which enables writing communication in chained method calls, by exploiting C#'s `out` variables, and (2) amalgamation of session delegation with `async`/`await`, which materialises session cancellation in a limited form, which we call session intervention.\nWe show the effectiveness of our proposal via a Bitcoin miner application.\n\n## Code\n\nThe lightweight version, which includes only types, protocol combinators, and the endpoint API is summarized based on the paper, is available in the [SessionCSharpLight](./SessionCSharpLight/) directory.\n\n## Requirements\n\nDeveloped using the .NET SDK 8, supports a variety of operating systems, including Windows, macOS, and Linux.\n\n## Examples\n\n- [Tak calculation](./SessionCSharpExamples/TaraiProtocol/Program.cs)\n- [A Travel Agency](./SessionCSharpExamples/TravelAgency/Program.cs)\n\n## Applications\n\n- [A Bitcoin miner](./SessionCSharpApplications/BitcoinNonceCalculator/Program.cs)\n- [A parallel http downloader](./SessionCSharpApplications/ParallelHttpDownloader/Program.cs)\n- [Parallel polygon clipping](./SessionCSharpApplications/PolygonClippingPipeline/Program.cs)\n\n## Citation\n\n```bibtex\n@article{sessioncs,\n   title={Fluent Session Programming in C#},\n   volume={314},\n   ISSN={2075-2180},\n   url={http://dx.doi.org/10.4204/EPTCS.314.6},\n   DOI={10.4204/eptcs.314.6},\n   journal={Electronic Proceedings in Theoretical Computer Science},\n   publisher={Open Publishing Association},\n   author={Kimura, Shunsuke and Imai, Keigo},\n   year={2020},\n   month=apr, pages={61–75}\n}\n```\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcuregit%2Fsession-csharp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcuregit%2Fsession-csharp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcuregit%2Fsession-csharp/lists"}