nvquanghuy / texpasteLinks
The pastebin for mathematicians
☆35Updated 11 years ago
Alternatives and similar repositories for texpaste
Users that are interested in texpaste are comparing it to the libraries listed below
Sorting:
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- A Python CAS library☆73Updated this week
- Convert graphs generated by Graphviz to LaTeX friendly formats☆160Updated 6 months ago
- Hevea is a fast latex to html translator☆114Updated last week
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated last week
- knot theory and computational algebra software☆38Updated 11 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 9 years ago
- Standalone ASDL parser for upstream CPython 3.x☆62Updated 7 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- Collection of animals and other beings drawn in TikZ☆98Updated this week
- Python port of the Mathematica unum prototype from "The End of Error"☆52Updated 9 years ago
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Repository for the QED interactive text and possible extensions☆117Updated last year
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- GL Wavefunction Visualizer☆48Updated last year
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- ☆59Updated 12 years ago
- World's dumbest fuzzer☆53Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- interesting solutions to project euler problems☆84Updated 10 years ago
- ☆10Updated 3 years ago
- Repo for the paper "SymPy: symbolic computing in python"☆47Updated 5 years ago