🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
05:43
(UTC +01:00) - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://orcid.org/0000-0002-4328-6753
Lists (2)
Sort Name ascending (A-Z)
Stars
9
stars
written in Python
Clear filter
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
A new kind of Progress Bar, with real-time throughput, ETA, and very cool animations!
A list of AI agents and robots to block.
Pretty-print tabular data in Python, a library and a command-line utility. Repository migrated from bitbucket.org/astanin/python-tabulate.
Main repository of the zim desktop wiki project
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
Python package to autocomplete bibtex bibliographies