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