Alternatives and similar repositories for autolatex:

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

• SignalWalker / eightfold
  A library for partitioning 3D data.
  ☆10Updated 5 months ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆24Updated 2 weeks ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆32Updated 6 months ago
• 1rgs / token-trekker-rs
  ☆13Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆38Updated last year
• MathBases / MathBases
  ☆18Updated last month
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆59Updated last month
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆74Updated this week
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆15Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆63Updated 2 years ago
• stong / mpc-from-scratch
  A Python implementation of Garbled Circuits MPC protocol
  ☆56Updated last year
• digama0 / frat
  DRAT proof processor
  ☆14Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆146Updated this week
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆99Updated 5 months ago
• octaviopk9 / lattice-based-cryptography
  Reference repository on Lattice-based Cryptography
  ☆24Updated 4 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆173Updated 4 months ago
• maxwalts / tinyv-c
  A tiny nearest-neighbor embedding database written in C
  ☆19Updated last year
• adamnemecek / traceoid.ai
  ☆72Updated 3 months ago
• stockeh / mlx-grokking
  Grokking on modular arithmetic in less than 150 epochs in MLX
  ☆12Updated 4 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆231Updated 3 months ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆187Updated last week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• socketteer / worldspider
  gpt completions in vscode
  ☆33Updated last year
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated this week
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆154Updated this week
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last week
• macrocosmcorp / alexandria
  Tools, visualizations, and tutorials for massive embedding datasets.
  ☆31Updated last year
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆87Updated 2 years ago
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆59Updated this week
• stanford-centaur / PyPantograph
  A Machine-to-Machine Interaction System for Lean 4.
  ☆56Updated 2 weeks ago