summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-08-20experience: tweag internship: add supervisorquentin@aristote.fr
2023-04-30files: gpg key: change irif emailquentin@aristote.fr
2023-04-24basics: address: switch to irifaristote
2023-04-17basics: email: change academic addressqaristote
2023-03-14keys: pgp: add irif identityquentin@aristote.fr
2023-03-01publications: fix smtlib abstractQuentin Aristote
2023-03-01flake.lock: UpdateQuentin Aristote
2023-02-26end tweag internship and start irif oneQuentin Aristote
2023-02-15fix smtlib-backends metadataQuentin Aristote
2023-02-15flake.lock: UpdateQuentin Aristote
2023-02-15add smtlib-backends blogpostQuentin Aristote
2023-02-04experience: sell my work more in internships' descriptionsQuentin Aristote
2023-02-04correct wording in bibli-paris abstractQuentin Aristote
2022-12-17add softwareQuentin Aristote
2022-11-16files: avatar: remove exifQuentin Aristote
2022-11-13flake: use utils from registryQuentin Aristote
2022-11-13update input nixpkgsQuentin Aristote
2022-11-13basics: profiles: restructure and add iconsQuentin Aristote
2022-11-12basics: reword positionQuentin Aristote
2022-11-11add flake lockQuentin Aristote
2022-11-11add flakeQuentin Aristote
2022-11-11add initial dataQuentin Aristote
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-25 18:03:55 +0000