Alternatives and similar repositories for uni-spicker:

Users that are interested in uni-spicker are comparing it to the libraries listed below

• MrBlackRocket / LaTeX-Handout-Vorlage
  Eine Vorlage für ein Handout (Grundregel: kein Referat ohne Handout)
  ☆8Updated 8 years ago
• FFPiHaskell / Vorlesung2016
  Folien und Übungsaufgaben für unsere Vorlesung
  ☆26Updated 8 years ago
• mgttlinger / biblatex-lncs
  BiBLaTeX style for Springer Lecture Notes in Computer Science
  ☆18Updated last year
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago
• benedictdudel / pandoc-letter-din5008
  Pandoc template for writing Markdown letters (DIN 5008)
  ☆167Updated 2 years ago
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated last year
• islandoftex / arara
  arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror reposit…
  ☆405Updated 4 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 5 months ago
• kai-tub / latex-beamer-pure-minimalistic
  A true minimalistic LaTeX beamer template
  ☆152Updated 9 months ago
• jrnold / beamercolorthemesolarized
  Beamer color theme using the Solarized palette
  ☆126Updated 11 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆82Updated last week
• muesli-hd / muesli
  Mathematisches Übungsgruppen- und Scheinlisten-Interface
  ☆26Updated last month
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated last year
• knowsys / TheoLog
  Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
  ☆23Updated 9 months ago
• dannyedel / dspdfviewer
  Dual-Screen PDF Viewer for latex-beamer
  ☆227Updated last year
• patoline / patoline
  Patoline typesetting system
  ☆190Updated 2 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• UweSchmidt / hxt
  Haskell XML Toolbox
  ☆124Updated 9 months ago
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• dante-ev / latex-action
  GitHub Action to compile LaTeX documents
  ☆181Updated 2 months ago
• Romern / syncMyMoodle
  Synchronization client for RWTH Moodle
  ☆77Updated 3 months ago
• rchurchley / beamercolortheme-owl
  A Beamer colour theme that maximizes visibility in dark and unfavourable conditions
  ☆294Updated 7 years ago
• mkropat / dapper-invoice
  A billable-time invoice featuring style over substance
  ☆202Updated last year
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆115Updated 3 weeks ago
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• aaronwolen / pandoc-letter
  Pandoc template for writing letters in markdown
  ☆422Updated last year
• wavewave / hoodle
  hoodle : A pen notetaking program written in haskell
  ☆146Updated last year
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• jgm / skylighting
  A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
  ☆203Updated 2 months ago