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:
- Riemann Hypothesis book☆74Updated 8 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 9 years ago
- A semantic Extension of TeX/LaTeX☆55Updated this week
- Lambda calculus with Church encoding in C☆31Updated 7 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Haskell interface to the pcg random number generator☆42Updated 2 years ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆161Updated 7 months ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- Convert latex symbols to unicode characters☆45Updated 5 years ago
- Examples of literate programming by Knuth☆40Updated 7 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- ☆24Updated 3 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- A Python CAS library☆73Updated this week
- DeepAlgebra☆25Updated 8 years ago
- Tools for experimenting diff "slider" heuristics☆55Updated 9 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Hevea is a fast latex to html translator☆114Updated this week
- Bézier curves in Haskell☆28Updated 4 months ago
- Symbolic logic expressions☆15Updated 5 years ago
- Python term rewriting☆30Updated 12 years ago
- A web application to visualize complex mappings.☆31Updated 9 years ago