AliaumeL's repositories
circuit-syntax
Alternative syntax for combinatorial circuits with delays
knowledge-pp
Knowledge Pre-Processor for LaTeX
transducer-exercices
Exercices for transducers classes of MIMUW.
beamer-template
A simple beamer template to simplify writing conference presentations
bepo.vim
Simple key bindings for bépo keyboard layout in vim/neovim
codegouv-website
Dépôt des sources du site principal de la mission logiciels libres.
consaulider
Consolidate sparse data using SAT solvers
csv-tagger
Demo Project For CSV Tagging
ensps-colorscheme
Université Paris-Saclay Colorscheme for various purposes.
inkscape-figures
Inkscape figure manager
latex-builder
Github action for continous integration of latex projects
LIRMM-ALGCO-2023-PRES-THM
Presentation at the AlgCo seminar of LIRMM, Montpellier, France.
MOVE-seminar-2023
Présentation sur les fonctions $\mathbb{Z}$-polyrégulières à Marseille.
pandoc-lipics
Pandoc template for LIPIcs LaTeX template by Dagstuhl Publishing
paper-template
This is a template repository to initialize research paper projects in LaTeX.
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.
site-eig
Site du programme Entrepreneurs d'Intérêt Général
transducer-bib
Bibtex files for transducer related papers and books.
UOSCPNC
Uniform Operational Contextual Equivalence & Combined non-deterministic and probabilistic choice