Skip to main content

Miking Documentation

Miking is a meta-language system for creating embedded languages, and this site holds its documentation.

To get started, first install Miking, then follow the getting-started tutorial to learn about the core languages of Miking.


We are currently in the process of restructuring our documentation (see here for more information on the intent), thus some information can be found in the first four categories below (where they should be) and some can be found under old content below.


  • Tutorials are meant for initial learning, and give step-by-step instructions for solving small, self-contained tasks.
  • How-to guides give step-by-step instructions on how to accomplish commonly occurring tasks or solve problems.
  • The Reference documents the more technical details of the project: APIs, syntax, semantics, etc.
  • Explanations give more theoretical descriptions of concepts used in the Miking project, how they relate, and why they are designed the way they are.

Old Content

The old documentation can be found here while the documentation restructuring is in progress: