Divide-By-0 / autolatexLinks
All Auto Latex Equations Versions.
☆38Updated last month
Alternatives and similar repositories for autolatex
Users that are interested in autolatex are comparing it to the libraries listed below
Sorting:
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆113Updated this week
- Typst extension, adding support for generating figures using inline Python code☆113Updated last month
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆66Updated 11 months ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆339Updated 2 years ago
- Minimal open-source implementation of AlphaProof [WIP]☆59Updated this week
- Source files for https://web.evanchen.cc☆62Updated last week
- Compile Tex files easily☆94Updated 3 years ago
- A community database for the problems on the erdosproblems.com site☆245Updated this week
- CLI for document conversion for scientific documents, powered by Mathpix OCR☆114Updated 2 years ago
- A LaTeX Typesetting Game☆261Updated 9 months ago
- Collaboration / Topic requests for SoME☆211Updated 2 years ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆19Updated 10 months ago
- An alternative frontend for LessWrong 2.0☆78Updated this week
- Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]☆60Updated 2 years ago
- Minimalistic Typst slides.☆70Updated 2 months ago
- A turnkey command for converting a LaTeX source to ar5iv-style HTML☆81Updated 3 weeks ago
- A blog on AI, personal development, and living a good life.☆30Updated last week
- Access to all MiniZinc functionality directly from Python☆199Updated 3 weeks ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated 4 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆326Updated last year
- Sets up Tectonic in your GitHub Actions workflow so you can compile your LaTeX documents.☆60Updated this week
- Benchmark LLM reasoning capability by solving chess puzzles.☆89Updated 8 months ago
- plasTeX plugin to build formalization blueprints.☆287Updated 2 weeks ago
- auto-split frame environment for LaTeX☆68Updated 2 years ago
- Olympiad problem database☆54Updated 2 weeks ago
- The AI that helps you achieve your goals☆11Updated last year
- SageMath as a macOS application bundle.☆224Updated 2 weeks ago
- MIT semester course planning app☆30Updated last week
- A browser extension to convert TeX to Unicode in browser inputs.☆65Updated 4 months ago
- Listing of online math seminars☆43Updated 3 months ago