summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
cveducation rephrase extra coursesaristote2 months
masteradd lics 2026 reviewaristote4 weeks
 
 
AgeCommit messageAuthor
2026-02-20add lics 2026 reviewHEADmasteraristote
2026-02-20devenv: updatearistote
2026-02-04research: add fossacs 2026 paperaristote
2026-02-04research: misc: add profunctorial algebrasaristote
2026-02-04devenv: move inputs away from githubaristote
2026-02-03education rephrase extra coursesaristote
2026-01-31gpg key: use hex idquentin@aristote.fr
2026-01-31flake: move inputs away from githubquentin@aristote.fr
2026-01-31basics: git: new git websitequentin@aristote.fr
2026-01-31devenv: updatequentin@aristote.fr
[...]
 
Clone
https://git.aristote.fr/about-me/info