~ymherklotz/yannherklotz.com

Personal blog and website.

87b8ba3 Remove first-letter shenanigans

20 days ago

46b997b Reset social size

20 days ago

f1b2d11 Subdue the color and fix the CSS

20 days ago

e66e492 Change the links

20 days ago

ea4ad46 Integrate everything into one makefile

a month ago

b25f796 Add dependencies into the yml file

a month ago

9deed36 Remove bib files

a month ago

0971e6b Try and fix build

a month ago

3bc6d07 Add new publication in FCCM'22

a month ago

8b65f4f Fix link for PLDI'22 news

2 months ago

4c13e21 Add news about artefact evaluation for PLDI'22

2 months ago

3951f6d Fix grammar in PEQ news section

2 months ago

c54e994 Update news section

2 months ago

39dc502 Add some more links to news

2 months ago

db72feb Update the build with new dependencies

2 months ago
1 / 4