thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / LPCIC/coq-elpi

$ show LPCIC/coq-elpi

[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)
Verilog
266
Other (.elpi)
77
Other (no ext)
65
reStructuredText
27
Other (.ml)
24
Markdown
15
Other (.mli)
10
YAML
7
Other (.mlpack)
7
Python
6
Other (.nix)
5
Other (.mlg)
5
Files by Type (size)
Verilog
873KB
Other (.ml)
701KB
Other (.png)
613KB
Other (.elpi)
604KB
YAML
462KB
reStructuredText
216KB
Markdown
127KB
Python
104KB
Other (.svg)
57KB
Other (.mli)
48KB
Other (.mlg)
47KB
Other (no ext)
46KB
── HISTORY ──
Last analyzed: never
Next check: not scheduled
$ submit: