Dorian Lesbre's repositories
bibtex-autocomplete
Python package to autocomplete bibtex bibliographies
coq-prettier-makefile
Prettify the output of coq makefiles
cephalopode
The cephalopod IoT processor and the bifrost compiler
kotlin-compiler
Compiler for a simple fragment of kotlin
advent-of-code
Puzzle solutions for advent of code 2022 and 2023
binsec.github.io
www presence for the BINSEC binary-level analysis open-source platform
cerise
Formalisation of a capability machine and principles for reasoning about security properties
csv2mdtable
Simple C++ program to transform csv files into pretty markdown tables
site-interludes
Site web des interENS ludiques 2021, en ligne à l'adresse https://interludes.ens.fr
obsidian-map-view
Interactive map view for Obsidian.md
opam-repository
Main public package repository for opam, the source package manager of OCaml.
tex-template
Simple template for LaTeX documents
vscode-embers
Embers dark theme for VSCode and VS Codium
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
vscode-ocaml-platform
Visual Studio Code extension for OCaml
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]