/krho

Implementation of Rholang in the K framework

Primary LanguageMakefile

Build Status

krho

WIP formal executable semantics of Rholang.

TODO:

  • Tests
  • Basic Parsing
  • Pandoc version
  • Primitives
  • Matching logic
  • Communication
  • Crypto primives
  • Complexity Metering

Requirements:

K5

Kompile rholang definitions with

kompile rho.k --backend java

Needs proper testing process, right now just

krun tests/HelloWorld.rho