hub / github.com/ammkrn/nanoda

github.com/ammkrn/nanoda @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

336 symbols 1,056 edges 16 files 66 documented · 20% ● updated 5y ago★ 43

Browse by type

⨍ Functions 297◇ Types & classes 39

What it actually does AI analysis from the code graph — generated when you open this

loading…

Core symbols most depended-on inside this repo

↓ 4 filesmk_sort

Represents a Sort/Level/Universe. You can read more about these in sources like Theorem Proving in Lean.

src/expr.rs

↓ 4 filesmk_const

A constant; represents a reference to a declaration that has already been added to the environment.

src/expr.rs

↓ 4 filesmk_app

Makes a node in the tree, joining two expressions as application.

src/expr.rs

↓ 3 filesmk_prop

special constructor for an Expr::Sort that corresponds to `Prop`

browse all functions →

Shape

Method 233

Function 64

Class 27

Enum 12

Languages

Rust100%

Modules by API surface

src/expr.rs55 symbols

src/pretty/pretty_printer.rs45 symbols

src/tc.rs34 symbols

src/pretty/components.rs30 symbols

src/parser.rs28 symbols

src/level.rs28 symbols

src/inductive.rs20 symbols

src/errors.rs20 symbols

src/env.rs20 symbols

src/reduction.rs15 symbols

src/utils.rs14 symbols

src/name.rs10 symbols

For agents

$ claude mcp add nanoda \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/ammkrn/nanoda @main

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page