Alternatives and similar repositories for autolatex:

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

• stockeh / mlx-grokking
  Grokking on modular arithmetic in less than 150 epochs in MLX
  ☆12Updated 4 months ago
• 1rgs / token-trekker-rs
  ☆13Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆22Updated last year
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆24Updated 2 weeks ago
• maxwalts / tinyv-c
  A tiny nearest-neighbor embedding database written in C
  ☆19Updated last year
• ekzhang / nysrg-notes
  Eric's personal notes from NYSRG https://notes.ekzhang.com/events/nysrg
  ☆15Updated this week
• socketteer / worldspider
  gpt completions in vscode
  ☆33Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆231Updated 3 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 4 months ago
• MathBases / MathBases
  ☆18Updated last month
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated last year
• patrick-kidger / typst_pyimage
  Typst extension, adding support for generating figures using inline Python code
  ☆78Updated 10 months ago
• srush / anynp
  Proof-of-concept of global switching between numpy/jax/pytorch in a library.
  ☆18Updated 8 months ago
• thibmeu / drand-rs
  Implementation of a drand client in Rust
  ☆24Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆146Updated this week
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆29Updated 3 years ago
• leanprover / verso
  Lean documentation authoring tool
  ☆144Updated this week
• teorth / expdb
  Exponent pair database
  ☆42Updated this week
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆63Updated 2 years 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
• ishan0102 / rsrch.space
  Stream of my favorite papers and links
  ☆41Updated 6 months ago
• matttreed / diloco-sim
  ☆15Updated 2 months ago
• cadCAD-org / CadCAD.jl
  cadCAD implementation in Julia
  ☆15Updated 3 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆57Updated 3 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆48Updated this week
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆99Updated 5 months ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆196Updated this week