Movatterモバイル変換

PinnedLoading

Public

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

Haskell 4

Public

Key Information Document, implementation of the calculations in the annexes

Futhark 4

Public

Key Information Document generation

Haskell 1

Showing 7 of 7 repositories

kid-annexes Public
Key Information Document, implementation of the calculations in the annexes
monoid-gmbh/kid-annexes’s past year of commit activity
Futhark 4MIT0 0 0 UpdatedFeb 26, 2024
kid Public
Key Information Document, implementation of the RTS of the PRIIPs regulation
monoid-gmbh/kid’s past year of commit activity
Haskell 4MIT0 2 0 UpdatedFeb 25, 2024
actus-fv-agda Public Forked fromcspr-rad/actus-fv-agda
AGDA formal verification experiments.
monoid-gmbh/actus-fv-agda’s past year of commit activity
Agda0Apache-2.0 1 0 0 UpdatedJan 19, 2024
actus-core Public Forked frommarlowe-lang/actus-core
Implementation of the ACTUS taxonomy
monoid-gmbh/actus-core’s past year of commit activity
Haskell0Apache-2.0 4 0 0 UpdatedJan 18, 2024
monoid-gmbh.github.io Public
monoid-gmbh/monoid-gmbh.github.io’s past year of commit activity
HTML00 0 0 UpdatedOct 2, 2023
actus-tests Public Forked fromactusfrf/actus-tests
Contains testbeds for contracts in different formats
monoid-gmbh/actus-tests’s past year of commit activity
0CC-BY-SA-4.0 1 0 0 UpdatedAug 17, 2021
kid-document Public
Key Information Document generation
monoid-gmbh/kid-document’s past year of commit activity
Haskell 1MIT0 0 0 UpdatedAug 1, 2021

Navigation Menu