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

MiKe

< >

MiKe is a programming language created in 2022.

#3497on PLDB 2Years Old

Introducing MiKe: Constant-time control flow, automatic serialization, and more!


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

Built with Scroll v164.7.0