Alternatives and similar repositories for texpaste:

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

• b-mehta / combinatorics
  ☆23Updated 2 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 12 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• sympy / sympy_benchmarks
  Some benchmarks of SymPy
  ☆14Updated 4 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• 0x65 / trampoline
  How to implement trampolines for tail calls in Python
  ☆32Updated 11 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 3 weeks ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆50Updated 2 years ago
• ericastor / rmzoo
  ☆13Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 10 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆37Updated last month
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 7 months ago
• xyz2tex / dot2tex
  Convert graphs generated by Graphviz to LaTeX friendly formats
  ☆155Updated 4 months ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• dpiponi / pile
  Abelian sandpiles
  ☆16Updated 5 months ago