Other resources

• AluVM

  Functional virtual machine used in RGB smart contracts and in lightning.

  AluVM website

• Strict types

  Data type system, "protocol buffers for functional programming", used in RGB.

  Strict types website

• Contractum

  Contractum is a declarative programming language for smart contracts.

  Contractum website