Pinned Loading

1. 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

2. transducer-bib transducer-bib Public

   Bibtex files for transducer related papers and books.

   TeX

3. bibadac bibadac Public

   Bibtex linter and formatter written in Rust.

   Rust

4. presence presence Public

   Aliaume's Presence on the Internet.

   HTML

5. legifrance-rs legifrance-rs Public

   A minimal rust cli program to fetch and use the legifrance open data api and datasets

   Rust 1

6. ensps-colorscheme ensps-colorscheme Public

   Université Paris-Saclay Colorscheme for various purposes.

   TeX