approach0 / search-engine

Related projects ⓘ

Alternatives and complementary repositories for search-engine

• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 5 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆246Updated last week
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆228Updated 7 months ago
• falvaro / seshat
  Handwritten math expression parser
  ☆677Updated 4 years ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆447Updated 4 months 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…
  ☆294Updated 3 months ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆368Updated last year
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆556Updated this week
• adamyedidia / parsimony
  ☆335Updated 6 years ago
• arxiv-vanity / engrafo
  Convert LaTeX documents into beautiful responsive web pages using LaTeXML.
  ☆1,075Updated 10 months ago
• latex2html / latex2html
  Converts LaTeX documents to HTML
  ☆272Updated last week
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆231Updated 8 months ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆812Updated this week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆267Updated this week
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆267Updated 3 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆308Updated this week
• daniel3735928559 / guppy
  WYSIWYG mathematics editor with structured, searchable, LaTeX-compatible, and parseable output
  ☆187Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆241Updated 6 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆435Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 3 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆254Updated this week
• lunaroyster / latex.guide
  Quickly look up LaTeX symbols! https://latex.guide
  ☆143Updated last year
• AareyanManzoor / Matsumura-Commutative-Algebra
  This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers
  ☆21Updated 8 months ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆330Updated 3 weeks ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆346Updated this week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆158Updated 3 months ago
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆130Updated last week
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆321Updated 2 weeks ago