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

MiKe

< >

MiKe is a programming language created in 2022.

#3616on PLDB 4Years Old

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


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

Built with Scroll v178.2.3