thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / AeneasVerif/charon

$ show AeneasVerif/charon

[account ↗] [repo ↗] UNKNOWN ★ 0 0 ● unknown

── AI DEEP ANALYSIS ──

── METRICS ──

RATINGN/A/10

MAINTENANCEunknown

DRIFTunknown

OPEN ISSUES0

LAST COMMITunknown

── TAGS ──

── FILE BREAKDOWN ──

Files by Type (count)

Rust

725

Other (.out)

549

Other (.ml)

58

Markdown

33

TOML

26

Lock File

15

Other (no ext)

11

Other (.nix)

9

YAML

8

Git Ignore

5

HTML

4

Python

4

Files by Type (size)

Other (.out)

3MB

Rust

3MB

Other (.ml)

824KB

Other (.jpg)

218KB

Lock File

95KB

Markdown

77KB

Other (.nix)

41KB

Python

25KB

YAML

18KB

Text

14KB

TOML

9KB

Makefile

6KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled