Skip to content
@rainfall-lang

Rainfall Language

Smart Contracts as Authorized Production Rules

Popular repositories Loading

  1. rainfall-model rainfall-model Public

    Rainfall semantic interpreter.

    Haskell 2

  2. rainfall-paper rainfall-paper Public

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

    TeX 1

  3. rainfall-vscode rainfall-vscode Public

    Rainfall VSCode syntax plugin.

    TypeScript

Repositories

Showing 3 of 3 repositories
  • rainfall-model Public

    Rainfall semantic interpreter.

    rainfall-lang/rainfall-model’s past year of commit activity
    Haskell 2 0 0 0 Updated Nov 7, 2021
  • rainfall-paper Public

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

    rainfall-lang/rainfall-paper’s past year of commit activity
    TeX 1 0 0 0 Updated Jul 16, 2019
  • rainfall-vscode Public

    Rainfall VSCode syntax plugin.

    rainfall-lang/rainfall-vscode’s past year of commit activity
    TypeScript 0 0 0 0 Updated May 11, 2019

Top languages

Loading…

Most used topics

Loading…