PLDB Top 1,000 Features Creators Resources Blog Explore Download

kei

< >

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

Source code:

git clone https://github.com/caotic123/Kei

#1789on PLDB

5Years Old

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

PLDB - Build the next great programming language · About · Acknowledgements · Extensions · Day 624 · feedback@pldb.io