> [!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)