Alternatives and similar repositories for latex-input:

Users that are interested in latex-input are comparing it to the libraries listed below

• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• michal-h21 / rdfref
  Cross-referencing system for LaTeX, inspired with RDF
  ☆16Updated 2 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆78Updated this week
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 2 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 9 months ago
• texmacs / notes
  Notes about TeXmacs
  ☆25Updated 3 weeks ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 5 months ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆71Updated 3 years ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆14Updated this week
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 4 months ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆157Updated 5 years ago
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆91Updated this week
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆74Updated 2 years ago
• NCAlgebra / NC
  NCAlgebra - Non Commutative Algebra Package for Mathematica
  ☆160Updated last year
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆41Updated 7 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated 3 weeks ago
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆105Updated this week
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆53Updated last week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• coq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆163Updated 2 months ago
• b-mehta / topos
  Topos theory in lean
  ☆57Updated 4 years ago
• rsmenon / vim-mathematica
  Mathematica syntax highlighting (and more) for vim
  ☆66Updated 10 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆27Updated this week