Alternatives and similar repositories for texpaste

Users that are interested in texpaste are comparing it to the libraries listed below

• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• diofant / diofant
  A Python CAS library
  ☆72Updated last week
• xyz2tex / dot2tex
  Convert graphs generated by Graphviz to LaTeX friendly formats
  ☆158Updated 3 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 2 weeks ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆108Updated this week
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 8 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• ericastor / rmzoo
  ☆15Updated last year
• sdiehl / picologic
  Symbolic logic expressions
  ☆15Updated 5 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆47Updated 11 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 5 months ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆31Updated 7 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated 3 weeks ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆100Updated 11 months ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month