thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / AeneasVerif/aeneas

$ show AeneasVerif/aeneas

[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)
Other (.lean)
397
Rust
116
Other (.ml)
91
Markdown
53
Other (no ext)
36
Other (.sml)
31
Other (.sig)
29
Other (.fst)
22
Verilog
16
Makefile
15
Other (.mli)
12
Shell
8
Files by Type (size)
Other (.ml)
2MB
Other (.lean)
2MB
Other (.sig)
454KB
Other (.sml)
449KB
Markdown
397KB
Verilog
249KB
Rust
242KB
Other (.jpg)
225KB
Other (.fst)
190KB
Other (.mli)
54KB
Shell
22KB
Other (.nix)
19KB
── HISTORY ──
Last analyzed: never
Next check: not scheduled
$ submit: