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 over 5 years ago by Dan Connolly <[email protected]>
fe6d206f57c8a7c799cb66ec2bcbc457b3bec4e9 authored over 5 years ago by Dan Connolly <[email protected]>
assign copyright to RChain Cooperative
e7964d6319bd4e5199ece7bdfaa1d6ee3b21f03e authored over 5 years ago by Dan Connolly <[email protected]>
e7964d6319bd4e5199ece7bdfaa1d6ee3b21f03e authored over 5 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
satisfies completely transcribed
including parMix
a8c081089719429773dde544005eb9218d547903 authored over 5 years ago by Dan Connolly <[email protected]>
all but parMix?
1732b006fd943ecc9018ba6592fb19b508362c0c authored over 5 years ago by Dan Connolly <[email protected]>
1732b006fd943ecc9018ba6592fb19b508362c0c authored over 5 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...
ProcessTest: refactor as ScalaTest.FunSuite
rather than main() where we eyeball the result
93ac0237eda82d1bf9b40c6d7d5c2a42f9e92c5c authored over 5 years ago by Dan Connolly <[email protected]>
cite sources for rho.Process
fb8f75578004f9c3f7b63a71c15fd3494db1e3d0 authored over 5 years ago by Dan Connolly <[email protected]>
fb8f75578004f9c3f7b63a71c15fd3494db1e3d0 authored over 5 years ago by Dan Connolly <[email protected]>
move Process from src/test to src/main
add rho package
4e2fb5326cce394b78389a2a1804961b538db229 authored over 5 years ago by Dan Connolly <[email protected]>
CONTRIBUTING: dev tools, translating ADTs
548716732f9862af807647c5382983ae23f02fb2 authored over 5 years ago by Dan Connolly <[email protected]>
548716732f9862af807647c5382983ae23f02fb2 authored over 5 years ago by Dan Connolly <[email protected]>
claim copyright
553a6b19b8803f4f8fe978204e94ce36736412e0 authored over 5 years ago by Dan Connolly <[email protected]>
553a6b19b8803f4f8fe978204e94ce36736412e0 authored over 5 years ago by Dan Connolly <[email protected]>
Merge pull request #3 from rchain-community/add-license-1
blank apache license
53e3100dc2ec097ec5edb5d66a3a4b3fbfa6083a authored over 5 years ago by Dan Connolly <[email protected]>
blank apache license
b80dcf63b6c37151060637d9cf025f9fe3d37def authored over 5 years ago by Dan Connolly <[email protected]>
b80dcf63b6c37151060637d9cf025f9fe3d37def authored over 5 years ago by Dan Connolly <[email protected]>
README: goals, a bit of context
4ce4f9c3d0347bf3a7399b869efd8585e20362e4 authored over 5 years ago by Dan Connolly <[email protected]>
4ce4f9c3d0347bf3a7399b869efd8585e20362e4 authored over 5 years ago by Dan Connolly <[email protected]>
toward behavioral type checking: basic rho calculus ADT
0e762c6c3e881abc38394b4a48658e2902a4917f authored over 5 years ago by Dan Connolly <[email protected]>
0e762c6c3e881abc38394b4a48658e2902a4917f authored over 5 years ago by Dan Connolly <[email protected]>