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
Use case: ERTP / Chainmail

dckc opened this issue about 4 years ago
LGM on LADL proof theory

dckc opened this issue over 4 years ago
LGM working on "Name-free combinators for concurrency"

dckc opened this issue almost 5 years ago
rhocaml structurallyEquivalent bug?

dckc opened this issue almost 6 years ago
use case: structured data (XML) from Namespace Logic

dckc opened this issue almost 6 years ago
use cases: confinement, liveness from Namespaces, LADL

dckc opened this issue almost 6 years ago
use case: DAO bug

dckc opened this issue almost 6 years ago
use case: cell type

dckc opened this issue almost 6 years ago
use normalization to test Process.equivalent?

dckc opened this issue almost 6 years ago
why test both ipSet = gpSet and gpSet = ipSet ???

dckc opened this issue almost 6 years ago
blank apache license

dckc opened this pull request almost 6 years ago
contributing, dev tools, license

dckc opened this issue almost 6 years ago
which end is up?

dckc opened this issue almost 6 years ago