asdia0

asdia0's Stars

• vincentdoerig/latex-css

  LaTeX.css is a CSS library that makes your website look like a LaTeX document

  Language:HTML2.8k126

• synercys/annotated_latex_equations

  Examples of how to create colorful, annotated equations in Latex using Tikz.

  Language:TeX3.7k216

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.4k313

• vEnhance/napkin

  An Infinitely Large Napkin

  Language:TeX1.2k121

• zhaoshenzhai/mathwiki

  A statically-generated site to host my math course notes in university.

  Language:Markdown41422

• T0nyX1ang/tikz-minesweeper

  Draw a minesweeper board in LaTeX.

  Language:TeX52

• DavidNHill/JSMinesweeper

  Minesweeper player, solver and analyser in javascript

  Language:JavaScript9519