Alternatives and similar repositories for texpaste

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

• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• diofant / diofant
  A Python CAS library
  ☆72Updated this week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• xyz2tex / dot2tex
  Convert graphs generated by Graphviz to LaTeX friendly formats
  ☆157Updated last month
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆99Updated 9 months ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated 11 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 11 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆31Updated 6 years ago
• ypsu / latex-to-unicode
  Convert latex symbols to unicode characters
  ☆45Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• topaz / perl-mandelbrot
  Interactive Mandelbrot set renderer/explorer for your terminal.
  ☆30Updated 12 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• andrejbauer / marshall
  Real number computation software
  ☆126Updated 3 years ago
• sympy / sympy_benchmarks
  Some benchmarks of SymPy
  ☆16Updated 8 months ago
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆46Updated 10 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆174Updated 3 weeks ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆152Updated 11 months ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆146Updated last year
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated last week
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 10 months ago