Kina
2026AI-native language. Refinement-typed tensors, OCaml frontend, MLIR, Rust runtime, Lean 4.
Language site at kina.acaldwell.dev. The compiler repo is still private.
OCamlMLIRRustLean 4Z3
Work / Compilers
Compilers
languages, IRs, and the machines under them
Public compiler work. Kina is the language bet. The rest is infra and study around it — MLIR bindings, an LLVM toy, and a clean-room bootstrap.
F# Kaleidoscope
2026acald-creator/fsharp-kaleidoscope Classic LLVM toy language in F#. FsLexYacc, LLVMSharp 20, .NET 8 REPL.
The LLVM study, not a product language.
F#LLVMFsLexYacc
ocaml-mlir-lang
2026acald-creator/ocaml-mlir-lang OCaml bindings to LLVM MLIR 18. Build IR, run passes, lower, JIT, invoke.
Library, not a language. Ten acceptance tests green. The infra under Kina’s MLIR path.
OCamlMLIRLLVM 18
nani-bootstrap
2026acald-creator/nani-bootstrap Clean-room tutorial stack: NaniHEX → NaniASM → Nani. Specs and tests before implementation.
Teaching material. Original-work rule, no product claim.
Cbootstrap