PierreSenellart
Pierre Senellart is a Professor in the Computer Science Department at the École normale supérieure (ENS) in Paris, France, and head of the @INRIA Valda team.
École normale supérieure, PSL UniversityParis, France
Pinned Repositories
DigitalSelf
apxproof
LaTeX package for automatically putting proof environments in appendix
erc-latex-template
LaTeX template for ERC proposals
lsg
Large sparse graph library
matrix_tutorial
Simple implementation of matrices in C for educational purposes
pdf-enrichment
Tool to automatically enrich PDF of research articles with additional information (hyperlinks, metadata, etc.)
provsql
Adding support for provenance and uncertainty management to PostgreSQL databases
theoremkb
Collection of tools to extract semantic information from (mathematical) research articles
thymeflow
Installer for Thymeflow, a personal knowledge management system.
thymeflow-back
Thymeflow's back end implementation
PierreSenellart's Repositories
PierreSenellart/provsql
Adding support for provenance and uncertainty management to PostgreSQL databases
PierreSenellart/erc-latex-template
LaTeX template for ERC proposals
PierreSenellart/apxproof
LaTeX package for automatically putting proof environments in appendix
PierreSenellart/theoremkb
Collection of tools to extract semantic information from (mathematical) research articles
PierreSenellart/pdf-enrichment
Tool to automatically enrich PDF of research articles with additional information (hyperlinks, metadata, etc.)
PierreSenellart/lsg
Large sparse graph library
PierreSenellart/matrix_tutorial
Simple implementation of matrices in C for educational purposes
PierreSenellart/nextcloud_timers
Nextcloud Timers App
PierreSenellart/notmuch-addrlookup-c
Address lookup tool for Notmuch in C using GLib and libnotmuch
PierreSenellart/PierreSenellart
PierreSenellart/readthedocs-tutorial