Measures Concepts
GitHub icon

MiKe

MiKe - Programming language

< >

MiKe is a programming language created in 2022.

#3829on PLDB 2Years Old

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


View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Queries Stats Sponsor Day 605 feedback@pldb.io Logout