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

kima

< >
home edit

kima is a programming language created in 2018.

#2081on PLDB 6Years Old
Download source code:
git clone https://gitlab.com/michalis_pardalos/Kima
Homepage 路 Source Code

A Programming Language with static types and (currently WIP) algebraic effects.


- Build the next great programming language 路 Add 路 About 路 Search 路 Keywords 路 Livestreams 路 Labs 路 Resources 路 Acknowledgements 路 Part of the World Wide Scroll