approach0 / search-engineLinks
A math-aware search engine.
☆347Updated last year
Alternatives and similar repositories for search-engine
Users that are interested in search-engine are comparing it to the libraries listed below
Sorting:
- PreTeXt: an authoring and publishing system for scholarly documents☆288Updated this week
- Handwritten math expression parser☆685Updated 4 years ago
- LaTeX web components☆621Updated 2 years ago
- TikZJax is TikZ running under WebAssembly in the browser☆500Updated 10 months ago
- Detexify Backend written in Haskell☆905Updated 8 years ago
- A Haskell library for converting LaTeX math to MathML.☆362Updated this week
- Markdown and LaTeX online editor - create text for web with equations and diagrams☆353Updated 3 weeks ago
- A SymPy version of WolframAlpha.☆691Updated last year
- Repository for the QED interactive text and possible extensions☆100Updated 4 months ago
- Axiom is a free, open source computer algebra system☆383Updated last year
- An open-source, customizable intermediate logic textbook☆1,157Updated 2 months ago
- The HOL Light theorem prover☆457Updated this week
- Madoko is a fast markdown processor for high quality academic and technical articles☆397Updated 8 months ago
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.☆417Updated 2 weeks ago
- Latex Symbol Classifier Web Frontend☆826Updated 2 years ago
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆668Updated this week
- plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…☆309Updated 3 months ago
- A simple visual editor for creating commutative diagrams.☆1,935Updated 4 years ago
- Group theory visualization software in the browser☆250Updated last year
- LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.☆1,083Updated last week
- Instructions and license for Detexify's sample data☆279Updated 3 years ago
- ☆343Updated 7 years ago
- Public repository for Abstact Algebra Theory and Applications☆170Updated last week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆370Updated this week
- This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.s…☆2,008Updated 2 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆196Updated 3 weeks ago
- Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax☆84Updated 3 years ago
- Rubi for Mathematica☆248Updated last year
- Parse LaTeX math expressions☆400Updated 5 years ago