Pinned Loading

1. monoid-gmbh/kid monoid-gmbh/kid Public

   Key Information Document, implementation of the RTS of the PRIIPs regulation

   Haskell 3

2. monoid-gmbh/kid-annexes monoid-gmbh/kid-annexes Public

   Key Information Document, implementation of the calculations in the annexes

   Futhark 4

3. marlowe-lang/marlowe-agda marlowe-lang/marlowe-agda Public

   Marlowe language specification

   Nix 9 4

4. financial_contracts financial_contracts Public

   Domain specific language for financial contracts

   Haskell 2