Alternatives and similar repositories for search-engine:

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

• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆239Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated last month
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆277Updated 3 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆898Updated 8 years ago
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆134Updated 4 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆262Updated last week
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆346Updated last week
• parpalak / upmath.me
  Markdown and LaTeX online editor - create text for web with equations and diagrams
  ☆347Updated 2 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆822Updated 2 years ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆278Updated this week
• falvaro / seshat
  Handwritten math expression parser
  ☆683Updated 4 years ago
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆413Updated 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…
  ☆301Updated 3 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 2 months ago
• corywalker / expreduce
  An experimental computer algebra system written in Go
  ☆397Updated 3 months ago
• brucemiller / LaTeXML
  LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
  ☆1,043Updated this week
• diofant / diofant
  A Python CAS library
  ☆72Updated 2 weeks ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆324Updated this week
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆376Updated last year
• adamyedidia / parsimony
  ☆342Updated 6 years ago
• alvinwan / TexSoup
  fault-tolerant Python3 package for searching, navigating, and modifying LaTeX documents
  ☆299Updated last month
• stacks / stacks-project
  Repository for the Stacks Project
  ☆891Updated 6 months ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆192Updated last month
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆166Updated 7 months ago
• latex2html / latex2html
  Converts LaTeX documents to HTML
  ☆279Updated last month
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆583Updated this week
• smspillaz / intuitive-math
  Intuitive math descriptions and animations (like 3b1b)
  ☆96Updated 2 years ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆573Updated 4 years ago