Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/rchain-community/behavr
Toward Behavioral Type checking for Rholang
https://github.com/rchain-community/behavr
behavioural type system defined (Scalas, Yoshida)
dckc opened this issue almost 3 years ago
dckc opened this issue almost 3 years ago
Use case: ERTP / Chainmail
dckc opened this issue about 4 years ago
dckc opened this issue about 4 years ago
LGM on LADL proof theory
dckc opened this issue over 4 years ago
dckc opened this issue over 4 years ago
LGM working on "Name-free combinators for concurrency"
dckc opened this issue almost 5 years ago
dckc opened this issue almost 5 years ago
rhocaml structurallyEquivalent bug?
dckc opened this issue almost 6 years ago
dckc opened this issue almost 6 years ago
use case: structured data (XML) from Namespace Logic
dckc opened this issue almost 6 years ago
dckc opened this issue almost 6 years ago
use cases: confinement, liveness from Namespaces, LADL
dckc opened this issue almost 6 years ago
dckc opened this issue almost 6 years ago
use case: DAO bug
dckc opened this issue almost 6 years ago
dckc opened this issue almost 6 years ago
use case: cell type
dckc opened this issue almost 6 years ago
dckc opened this issue almost 6 years ago
use normalization to test Process.equivalent?
dckc opened this issue almost 6 years ago
dckc opened this issue almost 6 years ago
why test both ipSet = gpSet and gpSet = ipSet ???
dckc opened this issue almost 6 years ago
dckc opened this issue almost 6 years ago
blank apache license
dckc opened this pull request almost 6 years ago
dckc opened this pull request almost 6 years ago
contributing, dev tools, license
dckc opened this issue almost 6 years ago
dckc opened this issue almost 6 years ago
which end is up?
dckc opened this issue almost 6 years ago
dckc opened this issue almost 6 years ago