🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
06:37
- 2h ahead - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://orcid.org/0000-0002-4328-6753
Pinned Loading
-
bibtex-autocomplete
bibtex-autocomplete PublicPython package to autocomplete bibtex bibliographies
-
advent-of-code
advent-of-code PublicPuzzle solutions for advent of code 2022, 2023 and 2024
-
-
-
-
site-interludes
site-interludes PublicSite web des interENS ludiques 2021 - 2025, en ligne à l'adresse https://interludes.ens.fr
720 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
March 2025
Created 10 commits in 6 repositories
Created 1 repository
-
dlesbre/python-script-lib
Python
This contribution was made on Mar 25
Created a pull request in ocamllabs/vscode-ocaml-platform that received 3 comments
Fix odoc syntax color for math block with braces
Fix a small bug in odoc syntax coloring. The math mode ({m ...}
and {math ... }
blocks) used to terminate at the first closing brace }
. However, ma…
+14
−2
lines changed
•
3
comments
Opened 1 other pull request in 1 repository
jcs/no_color
1
merged
-
Add bibtex autocomplete
This contribution was made on Mar 4