kei is a programming language created in 2019 by Tiago Campos.

A small and expressive dependently typed language

• kei is developed on GitHub and has 127 stars
• kei first developed in https://github.com/caotic123/Kei/issues
• HTML of this page generated by LanguagePage.ts