Pinned Loading

1. bibtex-autocomplete bibtex-autocomplete Public

   Python package to autocomplete bibtex bibliographies

   Python 109 7

2. advent-of-code advent-of-code Public

   Puzzle solutions for advent of code 2022, 2023 and 2024

   OCaml 1 1

3. scripts scripts Public

   Collection of small scripts

   Python

4. tex tex Public

   LaTeX style files, templates and helper scripts

   TeX

5. coq-prettier-makefile coq-prettier-makefile Public

   Prettify the output of coq makefiles

   OCaml 2 1

6. site-interludes site-interludes Public

   Site web des interENS ludiques 2021 - 2025, en ligne à l'adresse https://interludes.ens.fr

   HTML 2 2