Skip to content

Embedding Keel

Warning

This API is highly subject to change, particularly once instruction and memory limits are implemented.

Keel can be embedded in other programs through a C ABI. You can download the libkeel-* artifact of your choice from the latest release, or you can build it from source as a dynamic library: cargo build --profile embed --features embed.

Two functions are exposed: 

// Runs the code and returns the output
extern char* keel_run(const char* code);
// Frees the returned string
extern void keel_free_output(char* output);

Errors are returned in the output string and don't crash the host.