nvquanghuy / texpasteLinks
The pastebin for mathematicians
☆35Updated 10 years ago
Alternatives and similar repositories for texpaste
Users that are interested in texpaste are comparing it to the libraries listed below
Sorting:
- ☆23Updated 3 years ago
- Toolchain to build ePub and Mobipocket eBooks from the online edition of The Feynman Lectures on Physics.☆35Updated 10 years ago
- SymPy main development repo☆9Updated 5 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- The Boole Interactive Reasoning Assistant☆28Updated 11 years ago
- 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
- Julia Implementation of Unums☆42Updated 8 years ago
- VSCode extension for Metamath☆10Updated last week
- Book lucid interpreter written in python☆24Updated 5 years ago
- Matroids in Lean☆18Updated last year
- Partial evaluation of Python code☆21Updated 2 years ago
- Tag-based webview of LaTeX documents☆29Updated last year
- Riemann Hypothesis book☆75Updated 7 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- A Python CAS library☆73Updated this week
- ☆17Updated 4 years ago
- Metamath verifier in Python☆39Updated last year
- epsilon is a scanner generator☆28Updated 2 years ago
- Convert latex symbols to unicode characters☆44Updated 5 years ago
- Standalone ASDL parser for upstream CPython 3.x☆62Updated 6 years ago
- Repo for the paper "SymPy: symbolic computing in python"☆47Updated 4 years ago
- Python term rewriting☆29Updated 12 years ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆52Updated 2 weeks ago
- 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
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆17Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 8 months ago
- DeepAlgebra☆25Updated 7 years ago