Alternatives and similar repositories for uni-spicker

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

• artemmavrin / latex-homework
  LaTeX class and template for typesetting math homework
  ☆97Updated 5 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆920Updated 9 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• rudymatela / concise-cheat-sheets
  Cheat Sheets for programming languages and tools
  ☆115Updated 2 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• gpoore / minted
  minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…
  ☆1,844Updated 8 months ago
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,174Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆53Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 8 months ago
• 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…
  ☆415Updated last month
• SpectralSequences / latex
  Latex package to print spectral sequence diagrams using pgf/tikz.
  ☆11Updated 3 weeks ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆91Updated 8 months ago
• FFPiHaskell / Vorlesung2016
  Folien und Übungsaufgaben für unsere Vorlesung
  ☆26Updated 9 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• pdfpc / pdfpc
  A presenter console with multi-monitor support for PDF files.
  ☆1,782Updated 5 months ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆194Updated last week
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆635Updated last year
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 11 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆133Updated 5 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆81Updated 3 years ago
• noinia / hgeometry
  HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…
  ☆128Updated 2 weeks ago
• wavewave / hoodle
  hoodle : A pen notetaking program written in haskell
  ☆146Updated 2 years ago
• ixaxaar / monoid.space
  Learn pure math with agda
  ☆16Updated 3 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆185Updated this week
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,253Updated 2 months ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• jez / latex-homework-class
  A class for homework assignments written in LaTeX.
  ☆158Updated 4 years ago