dlesbre
Ph.D. student in computer science, working on program verification and formal methods
CEA ListParis, France
Pinned Repositories
advent-of-code
Puzzle solutions for advent of code 2022, 2023 and 2024
bibtex-autocomplete
Python package to autocomplete bibtex bibliographies
cephalopode
The cephalopod IoT processor and the bifrost compiler
coq-prettier-makefile
Prettify the output of coq makefiles
kotlin-compiler
Compiler for a simple fragment of kotlin
scripts
Collection of small scripts
site-interludes
Site web des interENS ludiques 2021, en ligne à l'adresse https://interludes.ens.fr
tex
LaTeX style files, templates and helper scripts
vossii-fl
fl support for visual studio code
vscode-embers
Embers dark theme for VSCode and VS Codium
dlesbre's Repositories
dlesbre/bibtex-autocomplete
Python package to autocomplete bibtex bibliographies
dlesbre/coq-prettier-makefile
Prettify the output of coq makefiles
dlesbre/advent-of-code
Puzzle solutions for advent of code 2022, 2023 and 2024
dlesbre/cephalopode
The cephalopod IoT processor and the bifrost compiler
dlesbre/kotlin-compiler
Compiler for a simple fragment of kotlin
dlesbre/vossii-fl
fl support for visual studio code
dlesbre/vscode-embers
Embers dark theme for VSCode and VS Codium
dlesbre/binsec.github.io
www presence for the BINSEC binary-level analysis open-source platform
dlesbre/cerise
Formalisation of a capability machine and principles for reasoning about security properties
dlesbre/csv2mdtable
Simple C++ program to transform csv files into pretty markdown tables
dlesbre/mlpproc
Preprocessor for text files (code/html/tex/...) inspired by the C preprocessor
dlesbre/scripts
Collection of small scripts
dlesbre/site-interludes
Site web des interENS ludiques 2021, en ligne à l'adresse https://interludes.ens.fr
dlesbre/tex
LaTeX style files, templates and helper scripts
dlesbre/obsidian-latex-theorem-equation-referencer
A powerful indexing & referencing system for theorems & equations in your Obsidian vault.
dlesbre/obsidian-map-view
Interactive map view for Obsidian.md
dlesbre/opam-repository
Main public package repository for opam, the source package manager of OCaml.
dlesbre/tex-template
Simple template for LaTeX documents
dlesbre/vscode-generic-input-method
Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
dlesbre/vscode-ocaml-platform
Visual Studio Code extension for OCaml
dlesbre/vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]
dlesbre/website
Personnal website