clarkgrubb / latex-inputLinks
Enter Unicode characters using LaTeX notation
☆95Updated last year
Alternatives and similar repositories for latex-input
Users that are interested in latex-input are comparing it to the libraries listed below
Sorting:
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- Python package to convert LaTeX markup to DOM☆15Updated 9 months ago
- The root repository for the SpectralSequences project.☆31Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆87Updated 5 months ago
- CoDi: Commutative Diagrams for TeX☆31Updated 3 months ago
- Kan: A browser extension for reading nLab☆30Updated 7 years ago
- Source code for the nLab☆188Updated 7 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated this week
- some maths papers in English☆19Updated this week
- Listing of online math seminars☆43Updated 2 weeks ago
- CAP project -- Categories, Algorithms, and Programming☆36Updated last month
- A semantic Extension of TeX/LaTeX☆54Updated last week
- A Lean file formatter☆70Updated 2 years ago
- A repository of user contributed content for TeXmacs☆57Updated last month
- Lean for the Curious Mathematician 2020☆67Updated 2 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- A jupyter kernel for Wolfram Mathematica☆161Updated 10 months ago
- A formal proof of the independence of the continuum hypothesis☆135Updated last year
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 6 years ago
- Repository for the QED interactive text and possible extensions☆106Updated 9 months ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 6 months ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆159Updated 3 months ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Let's translate works of Grothendieck☆30Updated 6 years ago