The source code of my professional website.
Find a file
2023-11-11 00:47:34 +01:00
content Update the profile picture. 2023-10-21 15:10:10 +03:00
en Add the fr/publications.org and en/publications.org. 2020-09-22 14:50:18 +02:00
fr Update the current reading. 2023-11-11 00:47:34 +01:00
index.org Update the current reading. 2023-11-11 00:47:34 +01:00
old-news.org Update the news. 2023-11-11 00:43:58 +01:00
publist.org Add the Boolean P TCS publication. 2023-09-08 13:43:33 +02:00
Readme.md README: Don't say the site is not online. 2020-04-04 12:34:29 +02:00
work-notes.org Fold some headers by default. 2023-04-17 22:43:56 +02:00
work.el work.el: Explicitly export only index.org from the root directory. 2020-09-22 15:53:22 +02:00

work-site

This is the source of my professional website.

These source files are distributed under the Creative Commons Attribution Alone licence.