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
- ☆22Updated 2 years ago
- VSCode extension for Metamath☆10Updated this week
- Some benchmarks of SymPy☆14Updated 2 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Commutative diagrams with TikZ☆47Updated 2 years ago
- GL Wavefunction Visualizer☆46Updated 3 months ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- Mathematical stories☆13Updated 4 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 months ago
- Fungrim: the Mathematical Functions Grimoire☆120Updated 2 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- SymPy main development repo☆9Updated 2 months ago
- Terminal CLI to Mathics3☆59Updated last week
- Haskell bindings to SymEngine☆25Updated last year
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Haskell interface to the pcg random number generator☆41Updated last year
- Riemann Hypothesis book☆74Updated 7 years ago
- Some operator abuse☆28Updated 7 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- PRolog Equation Solving System☆29Updated 8 years ago
- Deposited packages of the homalg project☆13Updated last month
- Tool for euclidean geometry aware of logic☆84Updated 8 months ago
- Symbolic logic expressions☆14Updated 4 years ago
- Algebra Number Theory book☆48Updated 2 years ago
- Inline Haskell inside your Python code☆25Updated 3 months ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- A simple package to do symbolic math (focus on code gen and DSLs)☆113Updated this week