1 repositories in the Claude AI ecosystem, indexed and ranked by ClaudeWave.
A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.