thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / Deducteam/lambdapi

$ show Deducteam/lambdapi

[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 (.lp)

261

Other (.ml)

91

Other (.dk)

76

reStructuredText

23

Shell

21

Markdown

20

Other (.mli)

20

Other (no ext)

19

JSON

12

Other (.el)

10

YAML

6

Git Ignore

5

Files by Type (size)

Other (.ml)

815KB

Other (.lp)

378KB

JSON

159KB

reStructuredText

97KB

Other (.dk)

73KB

Markdown

62KB

Other (.el)

50KB

Text

42KB

Other (.mli)

42KB

Shell

37KB

TypeScript

25KB

Other (.ico)

13KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled