Skip to content
View namin's full-sized avatar
1.1k followers · 488 following

Sponsoring

@samaaron
@xenodium

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Organizations

@clojure @js-scala @scala-lms @lampepfl

Block or report namin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
namin/README.md

topics(with count of selected projects): scheme17 paper-implementations15 ai14 reflection11 llm9 generative-programming8 scala8 towers8 clojure7 logic-programming6 minikanren6 binders5 coq5 synthesis5 collapsing-towers4 common-lisp4 dafny4 metaprogramming4 multi-stage-programming4 reasoning4 verification4 c3 constraints3 meta-theory3 music3 oop3 python3 racket3 data-science2 logic2 machine-learning2 meta2 monte-carlo-tree-search2 ncats-translator2 prolog2 smt2 truth-maintenance2 tutorial2 agent1 analysis1 bert-models1 differentiable-programming1 expert-system1 formal-methods1 github1 gpt1 harmony1 interpreters1 java1 jax1 jit1 jupyter1 knowledge-base1 lean1 lisp1 llama1 mlx1 overtone1 plt-redex1 program-transformations1 programming-languages1 prompt-engineering1 pypy1 rag1 theorem-prover1 tools1 twelf1 unsound1 workflow1 workshop1 x861

Popular repositories Loading

  1. inc inc Public

    an incremental approach to compiler construction

    Scheme 925 112

  2. llm-verified-with-monte-carlo-tree-search llm-verified-with-monte-carlo-tree-search Public

    LLM verified with Monte Carlo Tree Search

    Jupyter Notebook 263 27

  3. dot dot Public

    formalization of the Dependent Object Types (DOT) calculus

    156 12

  4. io.livecode.ch io.livecode.ch Public

    interactive programming tutorials, powered by Github and Docker

    HTML 140 7

  5. staged-miniKanren staged-miniKanren Public

    staged relational interpreters: running with holes, faster

    Racket 127 16

  6. logically logically Public

    explorations in core.logic

    Clojure 116 9