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☆123Updated 3 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- A Python CAS library☆73Updated 2 months ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆160Updated 5 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- Examples of literate programming by Knuth☆39Updated 5 months ago
- DeepAlgebra☆25Updated 8 years ago
- Some benchmarks of SymPy☆16Updated last year
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Tool for euclidean geometry aware of logic☆88Updated last year
- Julia Implementation of Unums☆42Updated 8 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- A semantic Extension of TeX/LaTeX☆54Updated last month
- A web application to visualize complex mappings.☆31Updated 9 years ago
- Lambda calculus with Church encoding in C☆31Updated 7 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Symbolic logic expressions☆15Updated 5 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- Convert/mirror darcs repos into git repos☆102Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- How to implement trampolines for tail calls in Python☆32Updated 11 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 9 years ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆43Updated 8 years ago