jlt-commons/writ

a DSL that blocks AI mistakes via proof

语言：Clojure · GitHub 星标：15 · Fork：1

话题：chez-scheme · clojure · jolt · llm · property-based-testing · specification · verification

在 GitHub 上查看原仓库