Skip to content

@rainfall-lang Rainfall Language

Change the repository type filter

All

    Repositories list

    3 repositories

    • rainfall-model

      Public
      Rainfall semantic interpreter.
      Haskell
      •0•2•0•0•Updated Nov 7, 2021Nov 7, 2021

    • rainfall-paper

      Public
      Latex source for "Smart Contracts as Authorized Production Rules".
      TeX
      •0•1•0•0•Updated Jul 16, 2019Jul 16, 2019

    • rainfall-vscode

      Public
      Rainfall VSCode syntax plugin.
      TypeScript
      •0•0•0•0•Updated May 11, 2019May 11, 2019