Pinned Repositories
adventofcode2023
Solutions for Advent of Code 2023 in Rust
bips
Bitcoin Improvement Proposals
crypto-book
Sources for an mdbook about cryptography.
crypto-training-exercises
developer-portal
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.
yannickseurin's Repositories
yannickseurin/crypto-book
Sources for an mdbook about cryptography.
yannickseurin/crypto-training-exercises
yannickseurin/mdbook-numeq
An mdBook preprocessor to automatically number centered equations and later create a link to these equations for a "LaTeX" type experience.
yannickseurin/mdbook-numthm
An mdBook preprocessor to automatically number theorems, lemmas, etc.
yannickseurin/adventofcode2023
Solutions for Advent of Code 2023 in Rust
yannickseurin/bips
Bitcoin Improvement Proposals
yannickseurin/developer-portal
yannickseurin/mdbook-mathpunc
An mdbook preprocessor that prevents line breaks between inline math blocks and punctuation marks.
yannickseurin/mdbook-test
yannickseurin/yannickseurin.github.io
yannickseurin/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
yannickseurin/mdbook-admonish
A preprocessor for mdbook to add Material Design admonishments.
yannickseurin/NNG4
Natural Number Game