Alternatives and similar repositories for search-engine:

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

• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆277Updated 3 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated last month
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆239Updated 11 months ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• lunaroyster / latex.guide
  Quickly look up LaTeX symbols! https://latex.guide
  ☆146Updated 2 years ago
• corywalker / expreduce
  An experimental computer algebra system written in Go
  ☆396Updated 3 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• latexdraw / latexdraw
  A vector drawing editor for LaTeX (JavaFX).
  ☆435Updated 4 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆272Updated this week
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆344Updated last week
• augustt198 / latex2sympy
  Parse LaTeX math expressions
  ☆396Updated 5 years ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆482Updated 8 months ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated 2 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated last month
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆278Updated this week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆582Updated this week
• neldredge / mathgen
  Generate random nonsense math papers
  ☆572Updated 4 years ago
• kcroker / dpsprep
  Python DJVU to PDF converter which preserves OCR text and bookmark metadata (e.g. TOC)
  ☆197Updated last month
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 7 months ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆375Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆898Updated 8 years ago
• 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…
  ☆300Updated 2 weeks ago
• pyramation / LaTeX2JS
  LaTeX web components
  ☆618Updated 2 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆325Updated last week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆261Updated last week
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆121Updated 3 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆341Updated 5 months ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆358Updated this week
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 6 months ago