Monoid GmbH

Software Consulting and Development

Zurich, Switzerland

Pinned Repositories

actus-core
Implementation of the ACTUS taxonomy
Language:Haskell0 0 00
actus-fv-agda
AGDA formal verification experiments.
Language:Agda00
actus-tests
Contains testbeds for contracts in different formats
0 0 00
kid
Key Information Document, implementation of the RTS of the PRIIPs regulation
Language:Haskell4 1 30
kid-annexes
Key Information Document, implementation of the calculations in the annexes
Language:Futhark4 1 10
kid-document
Key Information Document generation
Language:Haskell1 1 00
monoid-gmbh.github.io
Language:HTML0 1 00
rosetta-code-generators
Write code generators for any language, based on the rosetta DSL
Language:Xtend0 0 00

Monoid GmbH's Repositories

monoid-gmbh/kid
Key Information Document, implementation of the RTS of the PRIIPs regulation
Language:Haskell4 1 30
monoid-gmbh/kid-annexes
Key Information Document, implementation of the calculations in the annexes
Language:Futhark4 1 10
monoid-gmbh/kid-document
Key Information Document generation
Language:Haskell1 1 00
monoid-gmbh/actus-core
Implementation of the ACTUS taxonomy
Language:Haskell0 0 00
monoid-gmbh/actus-fv-agda
AGDA formal verification experiments.
Language:Agda00
monoid-gmbh/actus-tests
Contains testbeds for contracts in different formats
0 0 00
monoid-gmbh/monoid-gmbh.github.io
Language:HTML0 1 00
monoid-gmbh/rosetta-code-generators
Write code generators for any language, based on the rosetta DSL
Language:Xtend0 0 00