nvquanghuy / texpaste
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
- Algebra Number Theory book☆47Updated 2 years ago
- ☆22Updated 2 years ago
- Convert/mirror darcs repos into git repos☆97Updated 2 months ago
- Some benchmarks of SymPy☆13Updated last month
- Examples of literate programming by Knuth☆36Updated 7 months ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- Tag-based webview of LaTeX documents☆28Updated 11 months ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- Fungrim: the Mathematical Functions Grimoire☆118Updated 2 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- A Python CAS library☆72Updated last month
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- Haskell interface to the pcg random number generator☆41Updated 11 months ago
- a flexible text macro system☆17Updated 9 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 9 years ago
- Interactive-diagrams☆39Updated 9 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆73Updated 4 months ago
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- GLUT Kleinian group visualizer☆26Updated 10 years ago
- Miller/pattern unification in Agda☆63Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 10 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Python implementation of the monster group☆42Updated this week
- Latex source for geometric algebra and physics notes.☆37Updated last month