Alternatives and similar repositories for texpaste

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

• b-mehta / combinatorics
  ☆23Updated 3 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
• smichr / sympy
  SymPy main development repo
  ☆9Updated 5 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆28Updated 11 years ago
• solb / sigbovik
  Proceedings of the annual intercalary robot dance party in celebration of workshop on symposium about 2^6th birthdays; in particular, tha…
  ☆12Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆21Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• diofant / diofant
  A Python CAS library
  ☆73Updated this week
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 2 years ago
• ypsu / latex-to-unicode
  Convert latex symbols to unicode characters
  ☆44Updated 5 years ago
• eliben / asdl_parser
  Standalone ASDL parser for upstream CPython 3.x
  ☆62Updated 6 years ago
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated 2 weeks ago
• Mathics3 / mathics-omnibus
  Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…
  ☆30Updated 4 months ago
• christianp / creal.js
  Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation
  ☆17Updated 2 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 8 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago