GitHub repository: stefan-hoeck/idris2-chem
Primary language: C
Description: Dependently typed cheminformatics in Idris2