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 6 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆23Updated last year
• SignalWalker / eightfold
  A library for partitioning 3D data.
  ☆10Updated 7 months ago
• PrimeIntellect-ai / threadpark
  C99-compatible library for efficiently parking threads on all major operating systems
  ☆11Updated last month
• ManimCommunity / manim-plugintemplate
  A template project to both illustrate and serve as an example for plugin creations on top of the manim.
  ☆18Updated 3 years ago
• 1rgs / token-trekker-rs
  ☆13Updated 2 years ago
• dginev / ar5ivist
  A turnkey command for converting a LaTeX source to ar5iv-style HTML
  ☆67Updated last year
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆49Updated 4 years ago
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆88Updated 2 years ago
• thibmeu / drand-rs
  Implementation of a drand client in Rust
  ☆26Updated last year
• teorth / expdb
  Exponent pair database
  ☆47Updated last week
• github / rust-gems
  A collection of rust algorithms and data structures
  ☆63Updated 2 weeks ago
• ishan0102 / rsrch.space
  Stream of my favorite papers and links
  ☆41Updated last month
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆44Updated this week
• MathBases / MathBases
  ☆18Updated 2 weeks ago
• christianp / mastodon
  A GNU Social-compatible microblogging server
  ☆34Updated 3 weeks ago
• PrimeIntellect-ai / toploc
  TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…
  ☆21Updated last week
• WtfJoke / setup-tectonic
  Sets up Tectonic in your GitHub Actions workflow so you can compile your LaTeX documents.
  ☆54Updated last week
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆105Updated 6 months ago
• ekzhang / nysrg-notes
  Eric's personal notes from NYSRG https://notes.ekzhang.com/events/nysrg
  ☆16Updated 2 weeks ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆20Updated last year
• PrimeIntellect-ai / smart-contracts
  Solidity contracts for the decentralized Prime Network protocol
  ☆19Updated this week
• alexander-turner / TurnTrout.com
  A blog on AI, personal development, and living a good life.
  ☆15Updated this week
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆62Updated 3 months ago
• JD-P / RetroInstruct
  Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.
  ☆32Updated last month
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• maxwalts / tinyv-c
  A tiny nearest-neighbor embedding database written in C
  ☆19Updated last year
• zk-ml / research
  repository for machine learning algorithms and systems on emergent runtimes
  ☆21Updated 2 years ago
• cgarciae / einop
  ☆60Updated 3 years ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago