Skip to content
@monoid-gmbh

Monoid GmbH

Software Consulting and Development

Pinned Loading

  1. kid kid Public

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

    Haskell 4

  2. kid-annexes kid-annexes Public

    Key Information Document, implementation of the calculations in the annexes

    Futhark 4

  3. kid-document kid-document Public

    Key Information Document generation

    Haskell 1

Repositories

Showing 8 of 8 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 4 MIT 0 0 0 Updated Feb 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 4 MIT 0 2 0 Updated Feb 25, 2024
  • actus-fv-agda Public Forked from cspr-rad/actus-fv-agda

    AGDA formal verification experiments.

    monoid-gmbh/actus-fv-agda’s past year of commit activity
    Agda 0 Apache-2.0 1 0 0 Updated Jan 19, 2024
  • actus-core Public Forked from input-output-hk/actus-core

    Implementation of the ACTUS taxonomy

    monoid-gmbh/actus-core’s past year of commit activity
    Haskell 0 Apache-2.0 3 0 0 Updated Jan 18, 2024
  • monoid-gmbh/monoid-gmbh.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 2, 2023
  • rosetta-code-generators Public Forked from REGnosys/rosetta-code-generators

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

    monoid-gmbh/rosetta-code-generators’s past year of commit activity
    Xtend 0 Apache-2.0 34 0 0 Updated Jan 5, 2022
  • actus-tests Public Forked from actusfrf/actus-tests

    Contains testbeds for contracts in different formats

    monoid-gmbh/actus-tests’s past year of commit activity
    0 CC-BY-SA-4.0 1 0 0 Updated Aug 17, 2021
  • kid-document Public

    Key Information Document generation

    monoid-gmbh/kid-document’s past year of commit activity
    Haskell 1 MIT 0 0 0 Updated Aug 1, 2021

Top languages

Loading…

Most used topics

Loading…