FORGE
A programming language for oracle-augmented computation. FORGE makes uncertainty, supervision, cost, and deterministic boundaries part of the program instead of afterthoughts around an LLM call.
Uncertain results become explicit, handled values.