GitHub repository: openminted/openminted.github.io
Primary language: HTML
Description: OpenMinTeD documentation material and releases. Supplementary material to OpenMinTeD Deliverables.