cowardsa's Stars
nCompass-tech/nCompass
An API built to enable one-line-of-code access to accelerated open-source and custom AI models.
egraphs-good/egglog
egraphs + datalog!
egraphs-good/extraction-gym
benchmarking e-graph extraction
An API built to enable one-line-of-code access to accelerated open-source and custom AI models.
egraphs + datalog!
benchmarking e-graph extraction