A collection of resources on modern C++

A ready-to-fork Claude Code template for academics using LaTeX/Beamer + R. Multi-agent review, quality gates, adversarial QA, and replication protocols.

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

A collection of common (interesting) cryptographic mistakes and learning resources.

General-Purpose Computer Algebra System as an EDSL in Haskell

Scripts for exploring SPHINCS+ parameter tradeoffs, computing security levels, signature sizes, and signing/verification costs.