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
  ☆74Updated 8 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated 2 months ago
• xyz2tex / dot2tex
  Convert graphs generated by Graphviz to LaTeX friendly formats
  ☆160Updated 5 months ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆15Updated 5 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 3 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆39Updated 6 months ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆55Updated 9 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• diofant / diofant
  A Python CAS library
  ☆73Updated last week
• ypsu / latex-to-unicode
  Convert latex symbols to unicode characters
  ☆45Updated 5 years ago
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆154Updated last year
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆42Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆125Updated 3 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆31Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆84Updated 4 years ago