cicili

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

Lisp C Compiler aka. 'Cicili' programming language, which compiles Lisp-like syntax to C code and more extra features like method, lambda, defer.

Cocolog — a Prolog where neural networks are first-class citizens. Define, train, test, and run models as Prolog goals over libtorch; save weights as facts in a persistent MVCCS knowledge base. Symbolic reasoning and gradient descent in one language — the AI/ML challenge, passed from the Prolog prompt.