Other resources
AluVM
Functional virtual machine used in RGB smart contracts and in lightning.
Strict types
Data type system, "protocol buffers for functional programming", used in RGB.
Contractum
Contractum is declarative programming language for smart contracts.