Alternatives and similar repositories for latex-commenting

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

• grammarware / bx-parsing
  Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…
  ☆18Updated 5 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆37Updated 6 years ago
• mattmight / bib2sx
  A tool for manipulating bibtex files as s-expressions
  ☆33Updated 7 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated this week
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 5 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆21Updated 9 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 8 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆15Updated 5 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆51Updated 9 months ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 6 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 3 weeks ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 7 months ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆31Updated 7 years ago
• imdea-software / fcsl-pcm
  Partial Commutative Monoids
  ☆32Updated 6 months ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆43Updated 2 months ago
• lexi-lambda / racket-curly-fn
  A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
  ☆18Updated 9 years ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 5 months ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• alhassy / CoqCheatSheet
  Reference sheet for the Coq language.
  ☆15Updated 5 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆25Updated 3 months ago
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆31Updated 5 years ago
• pa-ba / equivalence
  ☆13Updated 3 months ago
• SkySkimmer / HoTTClasses
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆16Updated 5 years ago