PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

kei

< >

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

#1893on PLDB

5Years Old

Download source code:

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

A small and expressive dependently typed language

Tags: programming language
kei is developed on GitHub and has 128 stars
Early development of kei happened in https://github.com/caotic123/Kei/issues
kei is written in Haskell, Markdown

PLDB - Build the next great programming language · Add · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v144.0.0