basis.ai

Basis | Ship Your Interpreter

LLMs can write rules for a programming language and prove that its interpreter follows them.

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.