Repositories list

• kid-annexes

  Public
  Key Information Document, implementation of the calculations in the annexes

  financeregulationseuropean-union+ 2kid-for-priipsfidleg

  Futhark

  •

  MIT License

  •0•4•0•0•Updated Feb 26, 2024Feb 26, 2024

• kid

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

  financeregtechregulations+ 3european-unionkid-for-priipsfidleg

  Haskell

  •

  MIT License

  •0•4•2•0•Updated Feb 25, 2024Feb 25, 2024

• actus-fv-agda

  Public
  AGDA formal verification experiments.

  Agda

  •

  Apache License 2.0

  •1•0•0•0•Updated Jan 19, 2024Jan 19, 2024

• actus-core

  Public
  Implementation of the ACTUS taxonomy

  Haskell

  •

  Apache License 2.0

  •3•0•0•0•Updated Jan 18, 2024Jan 18, 2024

• monoid-gmbh.github.io

  Public
  HTML

  •0•0•0•0•Updated Oct 2, 2023Oct 2, 2023

• actus-tests

  Public
  Contains testbeds for contracts in different formats

  Creative Commons Attribution Share Alike 4.0 International

  •1•0•0•0•Updated Aug 17, 2021Aug 17, 2021

• kid-document

  Public
  Key Information Document generation

  financeregulationseuropean-union+ 1kid-for-priips

  Haskell

  •

  MIT License

  •0•1•0•0•Updated Aug 1, 2021Aug 1, 2021