thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / AeneasVerif/eurydice

$ show AeneasVerif/eurydice

[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)

C/C++ Header

135

C

99

Rust

69

Other (.ml)

16

Other (no ext)

12

Shell

6

YAML

5

Other (.cc)

4

JSON

3

Markdown

2

Lock File

2

Text

2

Files by Type (size)

Other (.jpg)

3MB

C

3MB

C/C++ Header

1MB

JSON

827KB

Other (.ml)

325KB

Lock File

93KB

Rust

57KB

Other (.cc)

31KB

Shell

18KB

YAML

17KB

Other (no ext)

13KB

Text

9KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled