#
Starred repositories
Luca Mesiti's website. My main research interests are category theory and its applications to algebra, logic and geometry. In particular, I have a keen interest in fibrations and the Grothendieck c…
A fork of the original tool (https://xmlyqing00.github.io/PuzzleSolving-tool/) for 2d puzzle solving focusing on extending command line generation
LUCA challenge for responsible use of AI
Luca is the best bot you'll need for managing and informing members of the server