Skip to content
@monoid-gmbh

Monoid GmbH

Software Consulting and Development

Pinned Loading

  1. kid Public

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

    Haskell 4

  2. kid-annexes Public

    Key Information Document, implementation of the calculations in the annexes

    Futhark 4

  3. kid-document Public

    Key Information Document generation

    Haskell 1

Repositories

Showing 7 of 7 repositories
  • kid-annexes Public

    Key Information Document, implementation of the calculations in the annexes

    Futhark 4 MIT 0 0 0 Updated Feb 26, 2024
  • kid Public

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

    Haskell 4 MIT 0 2 0 Updated Feb 25, 2024
  • actus-fv-agda Public Forked from cspr-rad/actus-fv-agda

    AGDA formal verification experiments.

    Agda 0 Apache-2.0 1 0 0 Updated Jan 19, 2024
  • actus-core Public Forked from marlowe-lang/actus-core

    Implementation of the ACTUS taxonomy

    Haskell 0 Apache-2.0 4 0 0 Updated Jan 18, 2024
  • monoid-gmbh.github.io Public
    HTML 0 0 0 0 Updated Oct 2, 2023
  • actus-tests Public Forked from actusfrf/actus-tests

    Contains testbeds for contracts in different formats

    0 CC-BY-SA-4.0 1 0 0 Updated Aug 17, 2021
  • kid-document Public

    Key Information Document generation

    Haskell 1 MIT 0 0 0 Updated Aug 1, 2021

Top languages

Loading…

Most used topics

Loading…