Giters
Rainfall Language (rainfall-lang)

Rainfall Language

rainfall-lang

Geek Repo

Smart Contracts as Authorized Production Rules

Github PK Tool:Github PK Tool

Rainfall Language's repositories

rainfall-model

Rainfall semantic interpreter.

Language:HaskellStargazers:2Issues:2Issues:1

rainfall-paper

Latex source for "Smart Contracts as Authorized Production Rules".

Language:TeXStargazers:1Issues:1Issues:0

rainfall-vscode

Rainfall VSCode syntax plugin.

Language:TypeScriptStargazers:0Issues:1Issues:0