Alternatives and similar repositories for texpaste

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

• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆98Updated 7 months ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last week
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 10 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆31Updated 6 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• sympy / sympy_benchmarks
  Some benchmarks of SymPy
  ☆15Updated 6 months ago
• rain-1 / tests
  tests
  ☆10Updated 6 years ago
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated last month
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 10 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 8 months ago