Pinned Repositories
akl
The akl url scheme handler for tidy researchers
beamer-template
A simple beamer template to simplify writing conference presentations
bepo.vim
Simple key bindings for bépo keyboard layout in vim/neovim
circuit-syntax
Alternative syntax for combinatorial circuits with delays
clique-width-labelled-wqo
From Words to Trees (and beyond?)
codegouv-website
Dépôt des sources du site principal de la mission logiciels libres.
consaulider
Consolidate sparse data using SAT solvers
Kholles
Khôlles de mathématiques MPSI
knowledge-pp
Knowledge Pre-Processor for LaTeX
transducer-exercices
Exercices for transducers classes of MIMUW.
AliaumeL's Repositories
AliaumeL/circuit-syntax
Alternative syntax for combinatorial circuits with delays
AliaumeL/akl
The akl url scheme handler for tidy researchers
AliaumeL/Kholles
Khôlles de mathématiques MPSI
AliaumeL/knowledge-pp
Knowledge Pre-Processor for LaTeX
AliaumeL/transducer-exercices
Exercices for transducers classes of MIMUW.
AliaumeL/beamer-template
A simple beamer template to simplify writing conference presentations
AliaumeL/bepo.vim
Simple key bindings for bépo keyboard layout in vim/neovim
AliaumeL/codegouv-website
Dépôt des sources du site principal de la mission logiciels libres.
AliaumeL/consaulider
Consolidate sparse data using SAT solvers
AliaumeL/csv-tagger
Demo Project For CSV Tagging
AliaumeL/github-actions-for-ci
AliaumeL/UOSCPNC
Uniform Operational Contextual Equivalence & Combined non-deterministic and probabilistic choice
AliaumeL/ensps-colorscheme
Université Paris-Saclay Colorscheme for various purposes.
AliaumeL/inkscape-figures
Inkscape figure manager
AliaumeL/latex-builder
Github action for continous integration of latex projects
AliaumeL/LIRMM-ALGCO-2023-PRES-THM
Presentation at the AlgCo seminar of LIRMM, Montpellier, France.
AliaumeL/MOVE-seminar-2023
Présentation sur les fonctions $\mathbb{Z}$-polyrégulières à Marseille.
AliaumeL/pandoc-lipics
Pandoc template for LIPIcs LaTeX template by Dagstuhl Publishing
AliaumeL/paper-template
This is a template repository to initialize research paper projects in LaTeX.
AliaumeL/polynomial-n-rational-series
This paper provides a counter example to a result of Juhani Karhumäki, and provides a corrected version of the theorem.
AliaumeL/polyregular-model-checking
Model checking (star-free) polyregular functions written in a Python-like syntax by translating them to first order logic.
AliaumeL/site-eig
Site du programme Entrepreneurs d'Intérêt Général
AliaumeL/transducer-bib
Bibtex files for transducer related papers and books.
AliaumeL/word-ordering-wqo
Do you sometimes whish usual word orderings such as the prefix ordering on words were well-quasi-orders? Say no more: here is a classification of languages where your dreams come true.
AliaumeL/wqo-n-transducers
We propose a well-quasi-ordered approach to the study of N polyregular functions.