GitHub repository: koka-community/koka-docs
Primary language: CSS
Description: Additional documentation on less well known Koka features, links to papers, etc.