hub / github.com/circify/circ

github.com/circify/circ @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

2,770 symbols 9,045 edges 225 files 572 documented · 21% ● updated 7mo ago★ 31524 open issues

Browse by type

⨍ Functions 2,442◇ Types & classes 328

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

loading…

Extension points exported contracts — how you extend this code

RewritePass (Interface)

A rewriting pass. [9 implementers]

src/ir/opt/visit.rs

Typed (Interface)

Trait for *values* that have *types*. `Self` is the value-type. `T` is the type-type. [5 implementers]

src/circify/mod.rs

FrontEnd (Interface)

A front-end [4 implementers]

DisplayIr (Interface)

(no doc) [10 implementers]

src/ir/term/fmt.rs

Embeddable (Interface)

A language whose state can be managed [5 implementers]

src/circify/mod.rs

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 32 filesterm

src/ir/term/mod.rs

↓ 25 filescheck

Type-check this term, at a surface level. That is, determine its type without a full validity check.

src/ir/term/ty.rs

↓ 20 filesArray

An IR array value. A sized, space array.

src/ir/term/mod.rs

↓ 17 filesBitVector

A bit-vector constant

src/ir/term/bv.rs

↓ 15 filesvar

Make a variable term.

src/ir/term/mod.rs

↓ 14 filesbool_lit

Make a bit-vector constant term.

src/ir/term/mod.rs

browse all functions →

Shape

Method 1,349

Function 1,093

Class 228

Enum 82

Interface 18

Languages

Rust94%

C4%

Python2%

C++1%

Modules by API surface

src/ir/term/mod.rs146 symbols

src/front/zsharp/term.rs136 symbols

src/front/zsharpcurly/term.rs135 symbols

src/front/zsharpcurly/mod.rs103 symbols

src/front/zsharp/mod.rs103 symbols

src/front/zsharpcurly/zvisit/zvmut.rs98 symbols

src/front/zsharp/zvisit/zvmut.rs96 symbols

src/front/zsharpcurly/zvisit/walkfns.rs86 symbols

src/front/zsharp/zvisit/walkfns.rs84 symbols

src/ir/term/text/mod.rs80 symbols

src/circify/mod.rs73 symbols

src/front/c/mod.rs62 symbols

For agents

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

⬇ download graph artifact

github.com/circify/circ @main

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page