Pinned Loading

1. bibadac bibadac Public

   Bibtex linter and formatter written in Rust.

   Rust

2. ensps-colorscheme ensps-colorscheme Public

   Université Paris-Saclay Colorscheme for various purposes.

   TeX

3. polyregular-model-checking polyregular-model-checking Public

   Model checking (star-free) polyregular functions written in a Python-like syntax by translating them to first order logic.

   Haskell

4. presence presence Public

   Aliaume's Presence on the Internet.

   HTML

5. transducer-bib transducer-bib Public

   Bibtex files for transducer related papers and books.

   TeX