A ClojureScript REPL interface for Google's Gemini API with formal verification, comprehensive logging, and self-modification capabilities. Built through literate programming with org-mode.
clojurescript repl literate-programming org-mode alloy formal-verification ai-agents self-modifying-code shadow-cljs gemini-api tla-plus memetic-evolution
-
Updated
Jul 15, 2025 - Clojure