Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


kei - Programming language

< >

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

#1921on PLDB 4Years Old 137Users
0Books 0Papers

A small and expressive dependently typed language

vilnius-basic.html 路 kei.html 路 mages.html

View source

- Build the next great programming language Search Day 214 About Blog Acknowledgements Traffic Traffic Today GitHub