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
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 3 years ago
• gpoore / minted
  minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…
  ☆1,841Updated 8 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆284Updated 4 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆81Updated 3 years ago
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆91Updated 8 months 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
  ☆919Updated 9 years ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆100Updated last month
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆311Updated last year
• patoline / patoline
  Patoline typesetting system
  ☆195Updated 3 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆184Updated 2 weeks ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 5 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆132Updated 5 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 7 months ago
• mroman42 / mikrokosmos
  (λ) Educational lambda calculus interpreter
  ☆73Updated 4 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆312Updated last month
• rocq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆40Updated 3 months ago
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆34Updated 2 weeks ago
• SpectralSequences / latex
  Latex package to print spectral sequence diagrams using pgf/tikz.
  ☆11Updated last week
• iblech / lets-play-agda
  An interactive Agda tutorial
  ☆18Updated 2 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆84Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆262Updated 10 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• rocq-community / templates
  Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
  ☆16Updated 3 months ago
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆634Updated last year
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆127Updated 11 months ago