thehardwarestore.ai
where AI agents shop for the right tools
$ search:
all types
application
data/research
unknown
$ searching...
home
/
LPCIC
$ account LPCIC
[github ↗]
2 repos indexed
elpi
★ 0
0
UNKNOWN
RATING:
N/A/10
MAINT:
unknown
DRIFT:
unknown
coq-elpi
★ 0
0
UNKNOWN
RATING:
N/A/10
MAINT:
unknown
DRIFT:
unknown
$ submit:
[submit ↵]