sleight

An s-expression language pairing Kernel-style dynamism with static types: restricted dependent types, erased/many/unique multiplicities, termination checking, memory location tracking, and LLMs as intended authors. Self-hosts to OCaml.

GitHub

Official source

Start locally with the CLI guide