Alternatives and similar repositories for CorTeX:

Users that are interested in CorTeX are comparing it to the libraries listed below

• KWARC / llamapun
  common language and mathematics processing algorithms, in Rust
  ☆25Updated 9 months ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• dginev / ar5iv-css
  Some CSS experiments for arXiv HTML documents converted via latexml
  ☆16Updated 3 months ago
• dginev / ar5ivist
  A turnkey command for converting a LaTeX source to ar5iv-style HTML
  ☆57Updated 10 months ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆47Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆51Updated last week
• PierreSenellart / theoremkb
  Collection of tools to extract semantic information from (mathematical) research articles
  ☆20Updated 2 months ago
• ranihorev / scihive-frontend
  Read, Collaborate and talk about scientific papers
  ☆30Updated 2 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 4 years ago
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆45Updated 7 years ago
• mattbierbaum / arxiv-bib-overlay
  Providing references and citations on abstract pages for the arXiv
  ☆129Updated 2 years ago
• opencitations / OpenCitationsCorpus
  ☆29Updated 10 years ago
• arXiv / zzzArchived_arxiv-readability
  Pilot project to render HTML5 from arXiv LaTeX sources
  ☆111Updated 5 years ago
• sagemathinc / smc-public
  See https://github.com/sagemathinc/smc instead!
  ☆22Updated 5 years ago
• oughtinc / primer
  Factored Cognition Primer: How to write compositional language model programs
  ☆48Updated last year
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 6 months ago
• maxdotio / mighty-batch
  Highly concurrent and fast content processing for Mighty Inference Server
  ☆10Updated last year
• tkuhn / aida
  AIDA Sentences
  ☆20Updated 3 years ago
• arxitics / arxiv-analytics
  A web portal that offers more features and a better user interface for reading eprints
  ☆24Updated 8 years ago
• arXiv / arxiv-base
  Supporting libraries for templates and arXiv services
  ☆33Updated last week
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 7 months ago
• arXiv / arxiv-browse
  Flask app for article abstract and listing pages
  ☆124Updated this week
• kermitt2 / arxiv_harvester
  Poor man's simple harvester for arXiv resources
  ☆12Updated last year
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆35Updated 2 years ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆18Updated last week
• explosion / spacy-alignments
  💫 A spaCy package for Yohei Tamura's Rust tokenizations library
  ☆27Updated last year
• UCSD-PL / proverbot9001
  ☆40Updated last month
• talaugust / scientific-writing-strategies
  ☆10Updated 4 years ago
• zotero / citeproc-rs
  CSL processor in Rust.
  ☆77Updated 5 months ago