topics(with count of selected projects): scheme17 paper-implementations15 reflection11 ai10 clojure7 scala7 towers7 generative-programming6 logic-programming6 minikanren6 binders5 llm5 common-lisp4 coq4 reasoning4 c3 collapsing-towers3 dafny3 meta-theory3 metaprogramming3 multi-stage-programming3 music3 oop3 racket3 synthesis3 constraints2 logic2 meta2 monte-carlo-tree-search2 ncats-translator2 prolog2 python2 truth-maintenance2 tutorial2 verification2
namin/namin
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.