Alternatives and similar repositories for oed

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

• jgm / pandoc-types
  types for representing structured documents
  ☆119Updated last month
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last week
• jlaurens / synctex
  Synchronization for TeX
  ☆79Updated 3 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• marcanuy / cedict_utils
  Parser for CC-CEDICT Chinese-English dictionary in Python
  ☆12Updated 2 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆63Updated 4 years ago
• iblech / mathe-notizen
  Random notes on mathematics (in German)
  ☆11Updated 3 weeks ago
• Mindful / cardbuilder
  Making flashcard construction effortless and vocabulary acquisition (slightly) less painful 🎴
  ☆15Updated last year
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 8 years ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆65Updated last week
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆28Updated last year
• rspeer / wikiparsec
  An LL parser for extracting information from Wiki text, particularly Wiktionary.
  ☆49Updated 2 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated 2 months ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• latex3 / iftex
  tex engine detection
  ☆16Updated 3 months ago
• nikita-moor / etymological-dictionary
  Offline etymological dictionary based on Wiktionary data
  ☆22Updated 3 years ago
• Phyks / libbmc
  A python library to deal with scientific papers.
  ☆17Updated 9 years ago
• jfinkels / hyphenate
  Hyphenation of English words
  ☆13Updated 8 years ago
• sillsdev / FieldWorks
  FieldWorks is a suite of software tools for language and cultural data, with support for complex scripts.
  ☆99Updated this week
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆44Updated 4 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆107Updated 9 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated this week
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆25Updated last month
• baig / pandoc-csv2table
  A Pandoc filter that renders CSV as Pandoc Markdown Tables.
  ☆102Updated 2 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆32Updated last month
• unicode-org / unilex
  Lexical data at Unicode
  ☆70Updated last year
• wikicite / wcite
  Pandoc filter to use Wikidata as reference manager
  ☆18Updated 5 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 5 months ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year