topics^{_{(with count of selected projects)}}: scheme^₁₉ ai^₁₈ llm^₁₆ paper-implementations^₁₅ reflection^₁₃ dafny^₉ scala^₉ towers^₉ clojure^₈ generative-programming^₈ verification^₈ logic-programming^₇ minikanren^₇ metaprogramming^₆ binders^₅ coq^₅ synthesis^₅ collapsing-towers^₄ common-lisp^₄ lean^₄ meta-theory^₄ multi-stage-programming^₄ reasoning^₄ c^₃ constraints^₃ lemmascript^₃ logic^₃ monte-carlo-tree-search^₃ music^₃ oop^₃ prolog^₃ python^₃ racket^₃ reactjs^₃ tutorial^₃ ai-agents^₂ data-science^₂ discovery-system^₂ machine-learning^₂ meta^₂ ncats-translator^₂ proofsketcher^₂ smt^₂ talk^₂ truth-maintenance^₂ a-star-search^₁ abstract-interpretation^₁ analysis^₁ analytics^₁ argument-debugger^₁ chatgpt^₁ claude-code^₁ cli^₁ communication-bootstrapping^₁ compiler^₁ compiler-construction^₁ composition^₁ coq-formalization^₁ debate^₁ differentiable-programming^₁ docker^₁ expert-system^₁ fact-checking^₁ first-order-logic^₁ frama-c^₁ github^₁ harmony^₁ interactive^₁ interpreters^₁ java^₁ javascript^₁ jax^₁ jit^₁ jupyter^₁ jupyter-notebook^₁ jupyter-notebooks^₁ jupyterhub^₁ jupyterlab^₁ lean4^₁ lisp^₁ mcp^₁ meta-reasoning^₁ metabolic-network^₁ neuro-symbolic^₁ ollama^₁ overtone^₁ plt-redex^₁ program-transformations^₁ react^₁ rocq^₁ theorem-prover^₁ twelf^₁ typescript^₁ unsound^₁ workshop^₁ x86^₁