Alternatives and similar repositories for uni-spicker

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

• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆53Updated 3 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆282Updated 3 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆320Updated 7 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.
  ☆303Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆917Updated 9 years ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆374Updated 5 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆371Updated 2 months ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,171Updated 11 months ago
• math-comp / math-comp
  Mathematical Components
  ☆663Updated last week
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆534Updated 7 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆271Updated last week
• SpectralSequences / latex
  Latex package to print spectral sequence diagrams using pgf/tikz.
  ☆11Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 9 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated 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,834Updated 7 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…
  ☆414Updated 3 weeks ago
• 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.
  ☆437Updated 3 weeks ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆543Updated last week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆268Updated this week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• artemmavrin / latex-homework
  LaTeX class and template for typesetting math homework
  ☆96Updated 4 years ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,129Updated last month
• dnadales / nix-latex-template
  Nix configuration for reproducible builds of LaTeX documents
  ☆25Updated 4 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 8 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆412Updated this week