A integration of ChatGPT and CAS to create a seamless user experience that can solve problems in Mathematics.
☆31Sep 28, 2023Updated 2 years ago
Alternatives and similar repositories for MathGPT
Users that are interested in MathGPT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A GPT-based generative LM for combined text and math formulas, leveraging tree-based formula encoding. Published as "Tree-Based Represent…☆41Jul 16, 2023Updated 2 years ago
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆76Apr 20, 2026Updated 2 months ago
- 🤖 A list of latest AGI-related repos, resources and courses including LLMs and AI Agents.☆13Sep 24, 2024Updated last year
- Using Deep Learning techniques to classify Motor Imagery Electroencephalography (EEG) signals☆12Oct 26, 2022Updated 3 years ago
- Open Co Scientist aims to democratize scientific research by providing an open-source implementation of an AI co-scientist system.☆15Mar 1, 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.
- These live scripts focus on concepts and practices related to working with data: textual data types, numerical data types, data storage, …☆10May 5, 2026Updated 2 months ago
- My Vagrantfiles for sandbox tests☆12Jun 18, 2020Updated 6 years ago
- Keep user data between visits☆13Jul 12, 2021Updated 4 years ago
- The personal website of Scott W Harden☆14May 2, 2026Updated 2 months ago
- Generalized Horizontal Synchrosqueezing Transform: Algorithm and Applications☆10Mar 23, 2020Updated 6 years ago
- BCCTv2.1☆11May 28, 2021Updated 5 years ago
- An advanced research assistant that utilizes AI agents to generate novel research directions and analyze scientific literature. This plat…☆16Feb 26, 2025Updated last year
- ☆18Nov 9, 2015Updated 10 years ago
- This repository contains directories pertaining to the Machine Learning Specialisation curriculum at Holberton. Python: 100%.☆10Oct 10, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implementation for: An Analysis of Single-Layer Networks in Unsupervised Feature Learning☆18Feb 9, 2022Updated 4 years ago
- Run MNIST inference in Apache Flink☆11Nov 18, 2020Updated 5 years ago
- Open-source implementation of Google's AI co-scientist for genenerating research hypotheses☆46Jun 25, 2026Updated 2 weeks ago
- A short introduction to SageMath☆20Jan 19, 2026Updated 5 months ago
- ☆12Sep 22, 2015Updated 10 years ago
- Streamlit Web UI for AGiXT☆29Jan 8, 2026Updated 6 months ago
- The official repo of our research work "Interactive Editing for Text Summarization".☆23Jun 3, 2023Updated 3 years ago
- ☆29Aug 26, 2021Updated 4 years ago
- ☆10Oct 17, 2017Updated 8 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.
- Okra, your all in one personal AI assistant☆14Jun 14, 2024Updated 2 years ago
- rustchinaconf2024-slides☆16Sep 15, 2024Updated last year
- A Personal Assistant leveraging Retrieval-Augmented Generation (RAG) and the LLaMA-3.1-8B-Instant Large Language Model (LLM). This tool i…☆30Nov 26, 2025Updated 7 months ago
- ☆23Apr 25, 2025Updated last year
- Useful scripts for iOS Pythonista app.☆10Apr 8, 2024Updated 2 years ago
- The openmediavault Debian package repository☆44Updated this week
- ☆24Jun 27, 2024Updated 2 years ago
- LLM-based tools for Overleaf☆31Oct 20, 2024Updated last year
- A GPT-2-class language model trained from scratch on OpenWebText with the intent to augment AI Transformer-model education and reverse en…☆24Mar 4, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Let's decompose the EU AI Act with GPT☆16Jun 15, 2023Updated 3 years ago
- For Streamlit Share proyects☆22Apr 1, 2022Updated 4 years ago
- ☆30Jun 19, 2023Updated 3 years ago
- Eko demos☆33Dec 12, 2025Updated 6 months ago
- ☆14Nov 22, 2024Updated last year
- Microservices with FastAPI☆10Sep 4, 2023Updated 2 years ago
- CoVID-19 tracking in Russia: dashboard, data and analysis.☆10Nov 22, 2022Updated 3 years ago