Alternatives and similar repositories for cuni-thesis-validator:

Users that are interested in cuni-thesis-validator are comparing it to the libraries listed below

• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 11 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆288Updated last week
• vituscze / norri
  ☆9Updated last year
• stac-extensions / datacube
  Datacube related metadata to describe their dimensions and variables.
  ☆15Updated last year
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆14Updated 2 years ago
• shicks / marginfix
  LaTeX package for fixing margin notes
  ☆19Updated last year
• mlhetland / pseudo.sty
  Straightforward pseudocode.
  ☆14Updated 2 months ago
• faunalia / QGIS-Resources
  ☆11Updated 4 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated last week
• 01mf02 / pandocfilters
  Pandoc filters for scientific writing
  ☆18Updated 4 years ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆16Updated 6 months ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆219Updated 3 weeks ago
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆46Updated 2 months ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated 6 months ago
• alexeygumirov / pandoc-beamer-how-to
  ☆260Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆190Updated last week
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆157Updated 3 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆36Updated 5 months ago
• sjelatex / derivative
  Nice and easy derivatives for LaTeX
  ☆24Updated last year
• MathBases / MathBases
  ☆18Updated 2 months ago
• davidalber / geneagrapher
  Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
  ☆50Updated 11 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• latex3 / mathtools
  Mathematical tools to use with amsmath
  ☆63Updated 6 months ago
• jolars / moloch
  A LaTeX Beamer theme, forked from the metropolis theme
  ☆125Updated last week
• sleepymalc / How2LaTeX
  📃 A compact guide to help you write professional LaTeX documents
  ☆58Updated 2 years ago
• juliengossa / DataESR
  ☆11Updated 4 years ago
• Tars4815 / potree-chtemplate
  An updated template for Potree pages
  ☆11Updated 11 months ago