Alternatives and similar repositories for twXiv

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

• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated 4 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated 10 months ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆13Updated 2 weeks ago
• Kroneckera / bunkbed-counterexample
  ☆16Updated 7 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆51Updated 2 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 3 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆20Updated 3 weeks ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• heafnerj / mandi
  mandi LaTeX package
  ☆9Updated 7 months ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• h20y6m / xelatexja
  XeLaTeX で和文する実験
  ☆14Updated 2 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated last year
• NUS-Math-Formalization / coxeter
  ☆12Updated 10 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆14Updated 11 months ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• BrownCS1951x / fpv2023
  Lecture notes, exercises, homeworks for Brown CS1951x 2023
  ☆13Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• FR-vdash-bot / transcendental
  Lindemann–Weierstrass Theorem
  ☆11Updated last year
• rwbarton / lean-homotopy-theory
  A development of homotopy theory in the Lean formal theorem prover.
  ☆15Updated 4 years ago
• rocq-community / goedel
  Archived since the contents have been moved to the Hydras & Co. repository
  ☆29Updated 2 years ago
• google / prog-edu-assistant
  An easy system to create autograding tests in Jupyter Python notebook and deploy to cloud.
  ☆33Updated 11 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆30Updated this week