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 9 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆27Updated 2 years ago
• socketteer / worldspider
  gpt completions in vscode
  ☆34Updated 2 years ago
• 1rgs / token-trekker-rs
  ☆13Updated 2 years ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆69Updated 6 months ago
• vEnhance / 1802
  MIT 18.02 lecture notes on multivar
  ☆14Updated last week
• teorth / expdb
  Exponent pair database
  ☆59Updated last week
• younader / Vesuvius-First-Letters
  ☆137Updated last year
• manifoldmarkets / manifund
  ☆11Updated this week
• MathBases / MathBases
  ☆23Updated last week
• cadCAD-org / CadCAD.jl
  cadCAD implementation in Julia
  ☆16Updated 7 months ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last month
• firstbatchxyz / dria-docker
  All-in-one environment to use Dria, the collective knowledge for AI.
  ☆12Updated last year
• PrimeIntellect-ai / protocol
  peer-to-peer compute and intelligence network that enables decentralized AI development at scale
  ☆87Updated this week
• mayabenowitz / Origins
  A minimalistic-bootstrap to find a quantum theory of the cosmos.
  ☆105Updated 8 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆48Updated this week
• PrimeIntellect-ai / prime-iroh
  Asynchronous P2P communication backend for decentralized pipeline parallelism
  ☆28Updated last month
• exsitu-projects / ilatex
  📄 i-LaTeX is a prototypal LaTeX editor with interactive code representations we call transitionals.
  ☆20Updated last year
• maxwalts / tinyv-c
  A tiny nearest-neighbor embedding database written in C
  ☆19Updated 2 years ago
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆30Updated 4 years ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆25Updated 4 months ago
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆40Updated 4 months ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• doomslide / baby-compiler
  It's a baby compiler. (Lean btw.)
  ☆16Updated last month
• epoch-research / ftm
  Work in progress! I don't recommend looking at the code right now.
  ☆22Updated last month
• METR / task-template
  ☆9Updated 11 months ago
• chriswolfram / ChatGPTPluginKit
  ☆25Updated 2 years ago
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆14Updated 3 weeks ago