# GitHub repos by namin

<https://repo.masters-masters.com/en/owners/namin>

[Home](https://repo.masters-masters.com/en) › [namin](https://repo.masters-masters.com/en/owners/namin)

All 6 public GitHub repos by namin in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by namin

6 public repos by namin in the catalog, most starred first.

- [namin/inc · ★ 972 · Scheme · Beta](https://repo.masters-masters.com/en/repos/namin/inc)
- [namin/llm-verified-with-monte-carlo-tree-search · ★ 296 · Jupyter Notebook · Alpha](https://repo.masters-masters.com/en/repos/namin/llm-verified-with-monte-carlo-tree-search)
- [namin/dot · ★ 165 · Prototype](https://repo.masters-masters.com/en/repos/namin/dot)
- [namin/io.livecode.ch · ★ 144 · HTML · Prototype](https://repo.masters-masters.com/en/repos/namin/io.livecode.ch)
- [namin/staged-miniKanren · ★ 144 · Racket · Prototype](https://repo.masters-masters.com/en/repos/namin/staged-miniKanren)
- [namin/logically · ★ 119 · Clojure · Prototype](https://repo.masters-masters.com/en/repos/namin/logically)

## See namin on GitHub

- [https://github.com/namin](https://github.com/namin)

---
Data: GitHub