Popular repositories Loading

1. TeXLib TeXLib Public

   Accessible-by-default LaTeX for teaching mathematics: ten document classes, randomized exams, and one command that builds every variant — student, solutions, instructor — each with a tagged PDF/UA-…

   Python

2. TeXLib-Installer TeXLib-Installer Public

   One-click portable Windows installer for the TeXLib teaching library — Sublime Text, SumatraPDF and TeX Live under a single folder, no admin rights required.

   PowerShell

3. landonfox00.github.io landonfox00.github.io Public

   Personal site

   CSS

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. lean-operads lean-operads Public

   Non-symmetric operads in Lean 4: the endomorphism operad, algebras, and the circle product. Sorry-free.

   Lean