Examples

Programs the compiler already accepts

These .kina files live in tests/compiler/examples/. Where a golden exists, the example page also shows the textual MLIR the OCaml compiler emits — the same pattern as odoc worked examples, but for the language itself.

Programs the compiler already accepts

ad_basic.kina

ad_mlp.kina

ad_stdlib_test.kina

add_2d.kina

bitwise_and_i32.kina

broadcast_row.kina

cast_bool_i32.kina

cast_f16_bf16.kina

cast_i32.kina

cast_i8_i32.kina

concat_axis0.kina

div_2d.kina

effects_test.kina

eq_f32.kina

frem_f32.kina

frem_f8e4m3.kina

gather_2d.kina

if_else.kina

invalid_add_shape_mismatch.kina

invalid_dim_zero.kina

invalid_mul_shape_mismatch.kina

invalid_requires_mismatch.kina

invalid_reshape_volume_mismatch.kina

llm_generate.kina

matmul_2d.kina

matmul_batch.kina

max_f8e4m3.kina

max_i32.kina

min_f32.kina

mlp_forward.kina

mlp_forward_gpu.kina

mlp_forward_static.kina

mul_2d.kina

pow_f32.kina

pow_f8e4m3.kina

reduce_keep_mean_axis1.kina

reduce_max_axis1.kina

reduce_max_f8_axis0.kina

reduce_mean_f8_axis0.kina

reduce_min_axis0.kina

reduce_sum_axis1.kina

rem_i32.kina

repeat_interleave_axis0.kina

reshape_2d_to_3d.kina

scalar_bool.kina

slice_axis0.kina

softmax_axis1.kina

state_effect.kina

static_2d.kina

storylm0_forward.kina

sub_2d.kina

symbolic_3d.kina

symbolic_requires.kina

transformer_ad.kina

transformer_block.kina

transpose_2d.kina

unary_bitwise_not_i32.kina

unary_exp_f8e4m3.kina

unary_gelu_f32.kina

unary_log_f32.kina

unary_neg_bool.kina

unary_neg_i32.kina

unary_relu.kina

unary_relu_f8e4m3.kina

unary_rsqrt_f32.kina

unary_sigmoid_f32.kina

unary_sigmoid_f8e4m3.kina

unary_silu_f32.kina

unary_sqrt_f32.kina

unary_tanh_f32.kina

while_checkpoint.kina

while_loop.kina