Alternatives and similar repositories for twXiv:

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

• 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…
  ☆19Updated last month
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 3 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• Kroneckera / bunkbed-counterexample
  ☆14Updated 5 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 7 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated this week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 months ago
• Ja1941 / hilberts-axioms
  ☆10Updated 3 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆11Updated 6 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆13Updated 2 weeks ago
• aigarashi / copl-tools
  tools for the book "Concepts of Programming Languages"
  ☆19Updated 3 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• h20y6m / xelatexja
  XeLaTeX で和文する実験
  ☆14Updated 2 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆17Updated last month
• CoqHott / coq-forcing
  A plugin for Coq that implements the call-by-name forcing translation
  ☆12Updated 3 years ago
• lengyijun / goldbach_tm
  ☆13Updated last month
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• google / formal-ml
  ☆25Updated 3 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• jcpaik / sofa-designer
  A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rat…
  ☆22Updated 11 months ago
• NUS-Math-Formalization / coxeter
  ☆12Updated 7 months ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated 2 weeks ago