Pinned Repositories
big-AGI
AI suite powered by state-of-the-art models and providing advanced AI/AGI functions. It features AI personas, AGI functions, multi-model chats, text-to-image, voice, response streaming, code highlighting and execution, PDF import, presets for developers, much more. Deploy on-prem or in the cloud.
GHOSTS
GHOSTS dataset
Newclid
Automatic solver for plane geometry problems.
imo-small-challenge.github.io
Newclid
Automatic solver for plane geometry problems.
friederrr's Repositories
friederrr/GHOSTS
GHOSTS dataset