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
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆16Updated 2 weeks ago
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆31Updated 5 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 8 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆49Updated 7 months ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆37Updated 6 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated 3 weeks ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆39Updated last month
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• damien-pous / relation-algebra
  Relation algebra library for Coq
  ☆48Updated last month
• reitzig / scripts
  Collection of arguably useful shell scripts.
  ☆20Updated 3 weeks ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 6 years ago
• gmalecha / mirror-core
  A framework for extensible, reflective decision procedures.
  ☆19Updated 5 years ago
• imdea-software / fcsl-pcm
  Partial Commutative Monoids
  ☆31Updated 5 months ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated 2 years ago
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆67Updated 6 years ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆17Updated last year
• cucapra / styleguide
  rules for writing and typesetting
  ☆25Updated 4 years ago
• mattmight / bib2sx
  A tool for manipulating bibtex files as s-expressions
  ☆33Updated 7 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 5 months ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• luispedro / hex
  Reimplementation of TeX in Haskell: pre-alpha
  ☆32Updated 11 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago