GitHub repository: tqtezos/morley-sop
Primary language: Haskell
Description: Sum of products representation and utilities for Michelson values