topics^{_{(with count of selected projects)}}: scheme^₁₈ ai^₁₅ paper-implementations^₁₅ reflection^₁₂ llm^₁₁ scala^₉ clojure^₈ generative-programming^₈ towers^₈ logic-programming^₇ metaprogramming^₆ minikanren^₆ binders^₅ coq^₅ dafny^₅ synthesis^₅ verification^₅ collapsing-towers^₄ common-lisp^₄ lean^₄ meta-theory^₄ multi-stage-programming^₄ reasoning^₄ c^₃ constraints^₃ logic^₃ monte-carlo-tree-search^₃ music^₃ oop^₃ prolog^₃ python^₃ racket^₃ tutorial^₃ data-science^₂ discovery-system^₂ machine-learning^₂ meta^₂ ncats-translator^₂ proofsketcher^₂ smt^₂ talk^₂ truth-maintenance^₂ a-star-search^₁ abstract-interpretation^₁ answer-set-programming^₁ 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^₁ jax^₁ jit^₁ lisp^₁ mcp^₁ meta-reasoning¹ metabolic-network^₁ neuro-symbolic^₁ overtone^₁ plt-redex^₁ program-transformations^₁ rocq^₁ theorem-prover^₁ twelf^₁ unsound^₁ workshop^₁ x86^₁