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
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• xyz2tex / dot2tex
  Convert graphs generated by Graphviz to LaTeX friendly formats
  ☆159Updated 3 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated 2 years ago
• diofant / diofant
  A Python CAS library
  ☆72Updated last month
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆31Updated 7 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• eevee / project-euler
  interesting solutions to project euler problems
  ☆84Updated 9 years ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 2 weeks ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆108Updated 3 weeks ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated last week
• ypsu / latex-to-unicode
  Convert latex symbols to unicode characters
  ☆45Updated 5 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated last year
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆101Updated 11 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆164Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago