PLDB Measures Concepts

kei

< >

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

Source code:

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

#1914on 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 · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout