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
- A Python CAS library☆72Updated 2 weeks ago
- Julia Implementation of Unums☆42Updated 8 years ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 9 years ago
- ☆23Updated 2 years ago
- VSCode extension for Metamath☆10Updated last week
- Commutative diagrams with TikZ☆49Updated 2 years ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆154Updated 3 months ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 11 years ago
- Examples of literate programming by Knuth☆37Updated 9 months ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- DeepAlgebra☆25Updated 7 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆10Updated 5 months ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- Greek/English version of Euclid's Elements☆45Updated last year
- Riemann Hypothesis book☆74Updated 7 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Hash-based Diffing for AST's☆76Updated 4 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- GLUT Kleinian group visualizer☆26Updated 11 years ago
- Convert/mirror darcs repos into git repos☆97Updated 4 months ago
- Deposited packages of the homalg project☆13Updated 3 months ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- Tool for euclidean geometry aware of logic☆84Updated 9 months ago