python3-library to convert Markdown with included LaTeX-Formulas to HTML with MathML
☆45Dec 2, 2025Updated 5 months ago
Alternatives and similar repositories for mdtex2html
Users that are interested in mdtex2html are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pure Python library for LaTeX to MathML conversion☆242Updated this week
- This is demo repo to demostrate how to scrape post data from Facebook by Python with library facebook_scraper. And then use Azure Text An…☆17Nov 12, 2021Updated 4 years ago
- The CLI & python API for the well-known project gpt-academic.☆19Sep 22, 2024Updated last year
- First-order automated theorem prover based on the tableau method☆19Jan 3, 2026Updated 4 months ago
- Amplitude library: gluing all the tools needed for computing multi-loop amplitudes in QCD and beyond☆20Feb 3, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 使用 PaddlePaddle 实现基于深度神经网络的中文分词引擎 | A DNN Chinese Tokenizer by Using PaddlePaddle☆14Jul 27, 2020Updated 5 years ago
- PyTorch-based radio-interferometric imaging reconstruction package with scalable Bayesian uncertainty quantification relying on data-driv…☆12Feb 17, 2025Updated last year
- 基于ChatGPT实现根据患者主诉生成病历及电子处方☆13Jun 2, 2023Updated 2 years ago
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆16Aug 3, 2021Updated 4 years ago
- ☆15Jun 25, 2024Updated last year
- Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".☆25Oct 3, 2025Updated 7 months ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Sep 27, 2022Updated 3 years ago
- ☆12Mar 31, 2024Updated 2 years ago
- Ruby business logic engine, inspired by Cucumber☆143Jun 9, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The interface between probabilistic model checking and data-driven policy learning.☆19Apr 21, 2026Updated 3 weeks ago
- ☆12Apr 29, 2024Updated 2 years ago
- Neuro-symbolic concept embedding and reasoning for ALC knowledge bases☆14Feb 7, 2023Updated 3 years ago
- MathML Cloud API☆15Apr 12, 2022Updated 4 years ago
- Life expectancy of humans across the global.☆12Jan 1, 2017Updated 9 years ago
- Tree Stack Memory Units☆17Jun 17, 2020Updated 5 years ago
- Scrape peoples detail from facebook.☆16May 10, 2020Updated 6 years ago
- Another Loan Fintech API☆10Jan 16, 2025Updated last year
- Our research proposes a novel MoGU framework that improves LLMs' safety while preserving their usability.☆18Jan 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.
- Scheduled automated test for daily tracking jobs about Selenium, Cypress, Puppeteer, and Playwright on Linkedin☆13Apr 13, 2026Updated 3 weeks ago
- Public repository for the Thermodynamic Neural Network File☆18Jan 15, 2020Updated 6 years ago
- [SIGMOD2026] Reveal Hidden Pitfalls and Navigate Next Generation of Vector Similarity Search with Task-Centric Benchmarks☆25Dec 31, 2025Updated 4 months ago
- Homebrew Tap for installing Cyberduck CLI☆12Updated this week
- Semantic memory system for Claude Code - provides persistent conversation memory through vector search of session summaries☆34Jul 21, 2025Updated 9 months ago
- An AWS Lambda function created in Python 2.7 that triggers on CloudWatch Event of an EC2 instance starting and takes the Public IPv4 Addr…☆10Oct 25, 2018Updated 7 years ago
- Starter code for working with the YouTube-8M dataset.☆16Jun 9, 2017Updated 8 years ago
- Web scraping python script to convert a list of Facebook events pages into a ical calendar.☆26Jul 28, 2020Updated 5 years ago
- Usable implementation of Emerging Symbol Binding Network (ESBN), in Pytorch☆25Jan 6, 2021Updated 5 years 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.
- gpm is a tool for managing Go projects.☆11May 18, 2019Updated 6 years ago
- The Slate Interactive Theorem Prover☆23Jan 9, 2023Updated 3 years ago
- Just a small shim around cookiecutter that alters a bit the CLI to work better when reapplying templates to existing projects.☆19Sep 9, 2022Updated 3 years ago
- edX Super Speed plus Video Downloader greasemonkey script☆12Mar 18, 2021Updated 5 years ago
- wpseek.com WordPress Developer Assistant for Sublime Text 2 / 3☆21Jan 7, 2026Updated 4 months ago
- Automated Theorem Prover for Automatic Words☆21Apr 7, 2021Updated 5 years ago
- Collecting news articles for all the companies in the R1000, for a pre-defined set of news outlets, using Diffbot's Knowledge Graph☆14Jan 26, 2023Updated 3 years ago