Yannick Seurin's repositories
crypto-book
Sources for an mdbook about cryptography.
mdbook-numeq
An mdBook preprocessor to automatically number centered equations and later create a link to these equations for a "LaTeX" type experience.
mdbook-numthm
An mdBook preprocessor to automatically number theorems, lemmas, etc.
adventofcode2023
Solutions for Advent of Code 2023 in Rust
Language:Rust000
bips
Bitcoin Improvement Proposals
Language:Wikitext000
Language:MDXMIT000
mdbook-mathpunc
An mdbook preprocessor that prevents line breaks between inline math blocks and punctuation marks.
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
000
mdbook-admonish
A preprocessor for mdbook to add Material Design admonishments.
Language:RustMIT000
NNG4
Natural Number Game
Apache-2.0000