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: 2 months 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 (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-11-15T20:12:18.000Z (over 5 years ago)
• Last Synced: 2025-02-08T02:43:48.649Z (4 months ago)
• Topics: k-framework, programming-language, rholang, smart-contract
• Language: OCaml
• Homepage:
• Size: 610 MB
• Stars: 8
• Watchers: 5
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project