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:
- Convert graphs generated by Graphviz to LaTeX friendly formats☆157Updated 2 months ago
- A Python CAS library☆72Updated 3 weeks ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- Haskell interface to the pcg random number generator☆41Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Terminal CLI to Mathics3☆60Updated 3 weeks ago
- A semantic Extension of TeX/LaTeX☆54Updated last month
- Examples of literate programming by Knuth☆38Updated 3 months ago
- Lambda calculus with Church encoding in C☆31Updated 6 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Repo for the paper "SymPy: symbolic computing in python"☆47Updated 4 years ago
- Patoline typesetting system☆191Updated 3 years ago
- Python bindings to picosat (a SAT solver)☆191Updated 3 weeks ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- A lightweight python3 library for arithmetic with real numbers.☆65Updated 8 months ago
- How to implement trampolines for tail calls in Python☆31Updated 11 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- CLI tools for mathjax-node☆33Updated last year
- Replace Unicode symbols by equivalent Latex commands☆29Updated last week
- GL Wavefunction Visualizer☆46Updated 10 months ago
- Hevea is a fast latex to html translator☆108Updated 2 months ago
- C++ library for semigroups and monoids☆62Updated last week