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
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆31Updated 6 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆53Updated 2 weeks ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆86Updated last year
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• xyz2tex / dot2tex
  Convert graphs generated by Graphviz to LaTeX friendly formats
  ☆157Updated last week
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 3 weeks ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆152Updated 10 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• diofant / diofant
  A Python CAS library
  ☆72Updated 2 weeks ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• Airini / FEECa
  FEECa: Finite Element Exterior Calculus in Haskell
  ☆34Updated 5 years ago
• fmap / flp.mobi
  Toolchain to build ePub and Mobipocket eBooks from the online edition of The Feynman Lectures on Physics.
  ☆35Updated 10 years ago
• heafnerj / mandi
  mandi LaTeX package
  ☆9Updated 9 months ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 3 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆146Updated last year
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 3 months ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆102Updated 4 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated 3 weeks ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆159Updated last month
• audreyt / regex-genex
  Given a list of regexes, generate all possible strings that matches all of them.
  ☆148Updated 9 years ago
• jrmuizel / pyunum
  Python port of the Mathematica unum prototype from "The End of Error"
  ☆52Updated 9 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago