| > [!IMPORTANT] | |
| > This page was copied from https://github.com/dart-lang/sdk/wiki and needs review. | |
| > Please [contribute](../CONTRIBUTING.md) changes to bring it up-to-date - | |
| > removing this header - or send a CL to delete the file. | |
| --- | |
| Dart Kernel is an intermediate language for Dart programs, a compact binary object-file format supporting separate compilation and linking, and an infrastructure for program transformation. This page is an index of Kernel documentation. | |
| [Binary format](https://github.com/dart-lang/sdk/blob/main/pkg/kernel/binary.md) | |
| [Operational semantics](Kernel-Operational-Semantics.md) | |
| [Type System](Kernel-Type-System.md) |