Rainfall Language

Smart Contracts as Authorized Production Rules

Pinned Repositories

rainfall-model
Rainfall semantic interpreter.
Language:Haskell2 2 10
rainfall-paper
Latex source for "Smart Contracts as Authorized Production Rules".
Language:TeX1 1 00
rainfall-vscode
Rainfall VSCode syntax plugin.
Language:TypeScript0 1 00

Rainfall Language's Repositories

rainfall-lang/rainfall-model
Rainfall semantic interpreter.
Language:Haskell2 2 10
rainfall-lang/rainfall-paper
Latex source for "Smart Contracts as Authorized Production Rules".
Language:TeX1 1 00
rainfall-lang/rainfall-vscode
Rainfall VSCode syntax plugin.
Language:TypeScript0 1 00