Parse LaTeX math expressions
☆147Aug 5, 2024Updated 2 years ago
Alternatives and similar repositories for latex2sympy
Users that are interested in latex2sympy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.☆115May 31, 2023Updated 3 years ago
- Parse LaTeX math expressions☆407Jul 11, 2019Updated 7 years ago
- antlr4_tex2sym parses LaTeX math expressions and converts it into the equivalent SymPy form by using antlr4.☆11Oct 7, 2020Updated 6 years ago
- Code for "Machine-Learning Non-Conservative Dynamics for New-Physics Detection" (arXiv: 2106.00026)☆14Aug 1, 2021Updated 5 years ago
- 爬取论坛文章并生成指定格式 markdown 的爬虫。☆18Apr 14, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆58Feb 20, 2024Updated 2 years ago
- VS Code extension for Typst math calculating, includes Arithmetic, Calculous, Matrix, Custom Variances and Funcions by yourself☆54Jan 28, 2024Updated 2 years ago
- ☆28May 8, 2024Updated 2 years ago
- Repository containing Anki Flashcards & source code to revise Machine Learning terms☆18Feb 12, 2022Updated 4 years ago
- Source for the cortexjs.io website☆58Updated this week
- OrangeX4's HyperSnips☆70Jan 19, 2024Updated 2 years ago
- Parse LaTeX math expressions☆12Apr 4, 2019Updated 7 years ago
- A VS Code extension that adds Markdown-like editing niceties for typst (.typ) files.☆12Feb 21, 2026Updated 7 months ago
- Proof artifact co-training for Lean☆43Dec 29, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Integrating typst as a texture generator for Bevy☆15Jul 2, 2026Updated 3 months ago
- Tiny TeX distribution built on Web2C and LuaTeX.☆10Jul 21, 2026Updated 2 months ago
- Token level visualization tools for large language models☆90Jan 8, 2025Updated last year
- rdiv!(::AbstractMatrix, ::UpperTriangular) and ldiv!(::LowerTriangular, ::AbstractMatrix)☆11Aug 15, 2026Updated last month
- Implementation of StyleTTS for Mandarin☆11Jun 22, 2023Updated 3 years ago
- A conda-smithy repository for julia.☆25Sep 11, 2026Updated 3 weeks ago
- A curated list of awesome high energy and particle physics software.☆64Sep 8, 2021Updated 5 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆40Mar 24, 2023Updated 3 years ago
- Filter builder tool☆18Apr 11, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Building up from a simple OLG☆11May 17, 2026Updated 4 months ago
- ☆14Updated this week
- Helper functions for the Julia package manager☆13Dec 31, 2025Updated 9 months ago
- A Mathematica Tracing Package Using FORM☆25Jul 25, 2024Updated 2 years ago
- Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch☆29Oct 3, 2026Updated last week
- Upgrade your typst packages☆23Oct 2, 2026Updated last week
- Python library with optical material properties.☆29Sep 14, 2023Updated 3 years ago
- DLPack safe Rust binding☆15Sep 20, 2022Updated 4 years ago
- Gentoo repository for VISA, DAQ, NI LabView, PicoScope, oneAPI and DKMS☆11Mar 1, 2026Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆68Feb 29, 2024Updated 2 years ago
- [ICML'26 Spotlight] Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving☆31Jun 29, 2026Updated 3 months ago
- source code of EfficientTTS 2☆22Feb 18, 2024Updated 2 years ago
- Core Components for the Gaudi-based Key4hep Framework☆14Sep 30, 2026Updated last week
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 5 years ago
- RestFrames: particle physics event analysis library☆11Dec 17, 2020Updated 5 years ago
- Object-oriented one-loop scalar Feynman integrals framework☆13Dec 20, 2024Updated last year