Skip to content
View namin's full-sized avatar
1.2k followers · 493 following

Sponsoring

@samaaron
@xenodium
@SecretiveShell

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

Highlights

  • Pro

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): scheme18 ai15 paper-implementations15 reflection12 llm10 scala9 clojure8 generative-programming8 towers8 logic-programming7 metaprogramming6 minikanren6 binders5 coq5 dafny5 synthesis5 verification5 collapsing-towers4 common-lisp4 meta-theory4 multi-stage-programming4 reasoning4 c3 constraints3 lean3 monte-carlo-tree-search3 music3 oop3 prolog3 python3 racket3 tutorial3 data-science2 discovery-system2 logic2 machine-learning2 meta2 ncats-translator2 proofsketcher2 smt2 talk2 truth-maintenance2 a-star-search1 abstract-interpretation1 chatgpt1 communication-bootstrapping1 compiler1 compiler-construction1 composition1 coq-formalization1 differentiable-programming1 docker1 expert-system1 frama-c1 github1 harmony1 interactive1 interpreters1 java1 jax1 jit1 lisp1 mcp1 meta-reasoning1 metabolic-network1 neuro-symbolic1 overtone1 plt-redex1 program-transformations1 rocq1 theorem-prover1 twelf1 unsound1 workshop1 x861

Popular repositories Loading

  1. inc inc Public

    an incremental approach to compiler construction

    Scheme 937 114

  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 276 29

  3. dot dot Public

    formalization of the Dependent Object Types (DOT) calculus

    160 12

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

    interactive programming tutorials, powered by Github and Docker

    HTML 142 7

  5. staged-miniKanren staged-miniKanren Public

    multi-stage relational programming for staged relational interpreters: running with holes, faster

    Racket 132 16

  6. logically logically Public

    explorations in core.logic

    Clojure 118 9