Skip to content
View namin's full-sized avatar
1.3k followers · 502 following

Sponsoring

@samaaron
@xenodium
@SecretiveShell

Achievements

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

Achievements

Achievement: YOLOAchievement: 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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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): scheme19 ai18 llm16 paper-implementations15 reflection13 dafny9 scala9 towers9 clojure8 generative-programming8 verification8 logic-programming7 minikanren7 metaprogramming6 binders5 coq5 synthesis5 collapsing-towers4 common-lisp4 lean4 meta-theory4 multi-stage-programming4 reasoning4 c3 constraints3 lemmascript3 logic3 monte-carlo-tree-search3 music3 oop3 prolog3 python3 racket3 reactjs3 tutorial3 ai-agents2 data-science2 discovery-system2 machine-learning2 meta2 ncats-translator2 proofsketcher2 smt2 talk2 truth-maintenance2 a-star-search1 abstract-interpretation1 analysis1 analytics1 argument-debugger1 chatgpt1 claude-code1 cli1 communication-bootstrapping1 compiler1 compiler-construction1 composition1 coq-formalization1 debate1 differentiable-programming1 docker1 expert-system1 fact-checking1 first-order-logic1 frama-c1 github1 harmony1 interactive1 interpreters1 java1 javascript1 jax1 jit1 jupyter1 jupyter-notebook1 jupyter-notebooks1 jupyterhub1 jupyterlab1 lean41 lisp1 mcp1 meta-reasoning1 metabolic-network1 neuro-symbolic1 ollama1 overtone1 plt-redex1 program-transformations1 react1 rocq1 theorem-prover1 twelf1 typescript1 unsound1 workshop1 x861

Popular repositories Loading

  1. inc inc Public

    an incremental approach to compiler construction

    Scheme 971 117

  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 289 30

  3. dot dot Public

    formalization of the Dependent Object Types (DOT) calculus

    161 12

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

    interactive programming tutorials, powered by Github and Docker

    HTML 143 7

  5. staged-miniKanren staged-miniKanren Public

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

    Racket 140 16

  6. logically logically Public

    explorations in core.logic

    Clojure 118 9