Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
Rho Vision (formerly RChain Community):
github.com/rchain-community/behavr
Toward Behavioral Type checking for Rholang
https://github.com/rchain-community/behavr
Project activity
New Projects: 0
New Releases: 0
New Issues: 0
New Pull Requests: 0
Closed Issues: 0
Merged Pull Requests: 0
Closed Pull Requests: 0
Issue Authors: 0
Pull Request Authors: 0
Active Maintainers: 0
Time to close issues:
N/A
Time to merge pull requests:
N/A
Time to close pull requests:
N/A
Commit Stats
Commits: 0
Commit Authors: 0
Commit Committers: 0
Additions: 0
Deletions: 0
pi-calculus rholang scala type-safety
Last synced: 3 days ago
JSON representation
Toward Behavioral Type checking for Rholang
- Host: GitHub
- URL: https://github.com/rchain-community/behavr
- Owner: rchain-community
- License: apache-2.0
- Created: 2019-02-21T05:28:47.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2023-03-25T07:10:28.000Z (over 1 year ago)
- Last Synced: 2024-04-13T20:55:09.959Z (8 months ago)
- Topics: pi-calculus, rholang, scala, type-safety
- Language: Scala
- Homepage:
- Size: 34.2 KB
- Stars: 5
- Watchers: 5
- Forks: 1
- Open Issues: 11
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE