Loon: A Modern LISP with Invisible Types, Algebraic Effects, and Ownership Without Annotations

LOOM: Open-Source Trust Layer Adds Memory Safety Checks for AI-Written Code

LOOM is a small, open-source programming language designed to act as a verification layer for AI-generated code, ensuring programs only do w