Alternatives and similar repositories for uni-spicker

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

• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆310Updated 11 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆193Updated 9 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆279Updated 2 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆318Updated 6 months ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆374Updated 5 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 10 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 10 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆406Updated last week
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 6 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆368Updated last year
• SpectralSequences / latex
  Latex package to print spectral sequence diagrams using pgf/tikz.
  ☆11Updated 2 years ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆188Updated this week
• gpoore / minted
  minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…
  ☆1,831Updated 7 months ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 8 years ago
• patoline / patoline
  Patoline typesetting system
  ☆194Updated 3 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆130Updated last year
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆56Updated 5 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆278Updated last week
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,169Updated 10 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…
  ☆413Updated last week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated 3 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆181Updated last month
• UniMath / SymmetryBook
  This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  ☆433Updated last week
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆69Updated 2 years ago