Monoid GmbH

Monoid GmbH's repositories

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

Language:HaskellMIT4 1 3

Key Information Document, implementation of the calculations in the annexes

Language:FutharkMIT3 1 1

Key Information Document generation

Language:HaskellMIT1 10

Implementation of the ACTUS taxonomy

Language:HaskellApache-2.0000

AGDA formal verification experiments.

Language:AgdaApache-2.0000

Contains testbeds for contracts in different formats

CC-BY-SA-4.0000

Language:HTML010

Write code generators for any language, based on the rosetta DSL

Language:XtendApache-2.0000