.K File Extension

KFramework Source Code File

Developer Runtime Verification
1.5  |  2 Votes

What is a K file?

A K file contains source code written in the K programming language. Developers create K files using source code editors like Microsoft Visual Studio Code. They then compile them using the K Framework compiler, known as kompile.

More Information

Screenshot of a .k file in Microsoft Visual Studio Code
K file open in Microsoft Visual Studio Code

K is a framework that allows developers to design and model programming languages and software and hardware systems. The framework includes its own programming language, referred to as K.

Developers working with the K Framework write programs using the K language and save those programs' source code as K files. Typically, each K file includes one or more modules, which define a program's function(s). Each module's name consists of one or more groups of letters, numbers, or underscores, separated by hyphens. Primarily, modules consist of syntax and rules. Modules can also import other modules, saved in other K files.

After a developer finishes creating their K file(s), they can use kompile to compile the files. They can then use krun to run the program their K file(s) contain.

How to open a K file

You can open a K file with Microsoft Visual Studio Code (multiplatform), Vim (Linux), GNU Emacs (multiplatform), or any other text or source code editor.

K's developer, Runtime Verification, maintains VSCode, Vim, and Emacs extensions that make editing K files in those programs easier. For information on how to download these extensions, refer to the K Framework's official documentation.

Open over 400 file formats with File Viewer Plus.Free Download

Programs that open or reference K files

Verified by FileInfo.com

The FileInfo.com team has independently researched the KFramework Source Code file format and Mac, Windows, and Linux apps listed on this page. Our goal is 100% accuracy and we only publish information about file types that we have verified.

If you would like to suggest any additions or updates to this page, please let us know.