Alternatives and similar repositories for search-engine

Users that are interested in search-engine are comparing it to the libraries listed below

• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆288Updated this week
• falvaro / seshat
  Handwritten math expression parser
  ☆685Updated 4 years ago
• pyramation / LaTeX2JS
  LaTeX web components
  ☆621Updated 2 years ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆500Updated 10 months ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆905Updated 8 years ago
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆362Updated this week
• parpalak / upmath.me
  Markdown and LaTeX online editor - create text for web with equations and diagrams
  ☆353Updated 3 weeks ago
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆691Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆100Updated 4 months ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆383Updated last year
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,157Updated 2 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆457Updated this week
• koka-lang / madoko
  Madoko is a fast markdown processor for high quality academic and technical articles
  ☆397Updated 8 months ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• UniMath / SymmetryBook
  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
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆826Updated 2 years ago
• HOL-Theorem-Prover / HOL
  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…
  ☆668Updated this week
• plastex / plastex
  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
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,935Updated 4 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• brucemiller / LaTeXML
  LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
  ☆1,083Updated last week
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆279Updated 3 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆170Updated last week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆370Updated this week
• sagemath / sage-archive-2023-02-01
  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
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated 3 weeks ago
• emichael / texthings
  Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax
  ☆84Updated 3 years ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆248Updated last year
• augustt198 / latex2sympy
  Parse LaTeX math expressions
  ☆400Updated 5 years ago