| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-03-14 | keys: pgp: add irif identity | quentin@aristote.fr |
| 2023-03-01 | publications: fix smtlib abstract | Quentin Aristote |
| 2023-03-01 | flake.lock: Update | Quentin Aristote |
| 2023-02-26 | end tweag internship and start irif one | Quentin Aristote |
| 2023-02-15 | fix smtlib-backends metadata | Quentin Aristote |
| 2023-02-15 | flake.lock: Update | Quentin Aristote |
| 2023-02-15 | add smtlib-backends blogpost | Quentin Aristote |
| 2023-02-04 | experience: sell my work more in internships' descriptions | Quentin Aristote |
| 2023-02-04 | correct wording in bibli-paris abstract | Quentin Aristote |
| 2022-12-17 | add software | Quentin Aristote |
| 2022-11-16 | files: avatar: remove exif | Quentin Aristote |
| 2022-11-13 | flake: use utils from registry | Quentin Aristote |
| 2022-11-13 | update input nixpkgs | Quentin Aristote |
| 2022-11-13 | basics: profiles: restructure and add icons | Quentin Aristote |
| 2022-11-12 | basics: reword position | Quentin Aristote |
| 2022-11-11 | add flake lock | Quentin Aristote |
| 2022-11-11 | add flake | Quentin Aristote |
| 2022-11-11 | add initial data | Quentin Aristote |
