https://github.com/isaac-defrain/kframework

RChain Rholang Implementation & Materials for learning K Framework
https://github.com/isaac-defrain/kframework

k-framework programming-language rholang smart-contract

Last synced: 10 days ago
JSON representation

RChain Rholang Implementation & Materials for learning K Framework

• Host: GitHub
• URL: https://github.com/isaac-defrain/kframework
• Owner: Isaac-DeFrain
• License: apache-2.0
• Created: 2018-12-19T12:32:17.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2019-11-15T20:12:18.000Z (about 5 years ago)
• Last Synced: 2023-03-06T13:57:30.660Z (almost 2 years ago)
• Topics: k-framework, programming-language, rholang, smart-contract
• Language: OCaml
• Homepage:
• Size: 610 MB
• Stars: 8
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project