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

rho calc parser using Rholang syntax

fe6d206f57c8a7c799cb66ec2bcbc457b3bec4e9 authored almost 6 years ago by Dan Connolly <[email protected]>
assign copyright to RChain Cooperative

e7964d6319bd4e5199ece7bdfaa1d6ee3b21f03e authored almost 6 years ago by Dan Connolly <[email protected]>
transcribing SLMC: Piastnode

[info] PiastnodeTest:
[info] - example 1 has no free names
[info] - print example 1 from the manual

e201190cab98bc0703587f73b6006a4738014187 authored almost 6 years ago by Dan Connolly <[email protected]>
satisfies completely transcribed

including parMix

a8c081089719429773dde544005eb9218d547903 authored almost 6 years ago by Dan Connolly <[email protected]>
all but parMix?

1732b006fd943ecc9018ba6592fb19b508362c0c authored almost 6 years ago by Dan Connolly <[email protected]>
satisfies(proc, form) works in a few cases

- satisfies partly transcribed
- Formula ADT transcribed
- Process.equivalent partly trans...

fab8ad5bbe6db5af9307d7d19e09333d8ef41598 authored almost 6 years ago by Dan Connolly <[email protected]>
ProcessTest: refactor as ScalaTest.FunSuite

rather than main() where we eyeball the result

93ac0237eda82d1bf9b40c6d7d5c2a42f9e92c5c authored almost 6 years ago by Dan Connolly <[email protected]>
cite sources for rho.Process

fb8f75578004f9c3f7b63a71c15fd3494db1e3d0 authored almost 6 years ago by Dan Connolly <[email protected]>
move Process from src/test to src/main

add rho package

4e2fb5326cce394b78389a2a1804961b538db229 authored almost 6 years ago by Dan Connolly <[email protected]>
CONTRIBUTING: dev tools, translating ADTs

548716732f9862af807647c5382983ae23f02fb2 authored almost 6 years ago by Dan Connolly <[email protected]>
claim copyright

553a6b19b8803f4f8fe978204e94ce36736412e0 authored almost 6 years ago by Dan Connolly <[email protected]>
Merge pull request #3 from rchain-community/add-license-1

blank apache license

53e3100dc2ec097ec5edb5d66a3a4b3fbfa6083a authored almost 6 years ago by Dan Connolly <[email protected]>
blank apache license

b80dcf63b6c37151060637d9cf025f9fe3d37def authored almost 6 years ago by Dan Connolly <[email protected]>
README: goals, a bit of context

4ce4f9c3d0347bf3a7399b869efd8585e20362e4 authored almost 6 years ago by Dan Connolly <[email protected]>
toward behavioral type checking: basic rho calculus ADT

0e762c6c3e881abc38394b4a48658e2902a4917f authored almost 6 years ago by Dan Connolly <[email protected]>